Program specification : PROCEEDINGS OF A WORKSHOP AARHUS, DENMARK, AUGUST 1981. - Staunstrup, Jorgen (Lecture Notes in Computer Science ;, 1982)