Program Specification Proceedings of a Workshop Aarhus, Denmark, August 1981 - Staunstrup, J. (Lecture Notes in Computer Science Ser.)