Program specification : PROCEEDINGS OF A WORKSHOP AARHUS, DENMARK, AUGUST 1981.. - Staunstrup, Jorgen (Berlin : Springer Verlag, 1982)