1
Published 1984
Springer Berlin Heidelberg
Table of Contents: ... of programs with implicit type structure -- Partial implementations of abstract data types: A dissenting view...

2
Published 2018
Springer International Publishing
... of cryptography and dissent...