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