Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981

Jørgen Staunstrup Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981 Program Specification Lecture Notes in Computer Science 134 Springer 1982 3-540-11490-4 db/conf/fm/ps1981.html