Staunstrup, J. Ed.
Program Specification Proceedings, Workshop, Denmark, 1981 - Berlin Springer Verlag 1982 - 426 - Lecture notes in computer science ; 00134 .
3540114904
Program Specification
681 LNCS
Program Specification Proceedings, Workshop, Denmark, 1981 - Berlin Springer Verlag 1982 - 426 - Lecture notes in computer science ; 00134 .
3540114904
Program Specification
681 LNCS