Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 - Staunstrup, J. (Jørgen), 1952- (Lecture notes in computer science ;, 1982)