Program specification : proceedings - Staunstrup J; Workshop on Program Specification( 1981 : Aarhus ); Workshop on Program Specification Aarhus, 1981 (Berlin Springer Verlag, 1982)
Keywords: Computer software; Programme specification