A formal development of programs
By: by Åke Hansson
Contributors: Kungl. Tekniska högskolan
Publisher: Royal Institute of Technology, Dept. of Information Processing and Computer Science
Published: 1980
Place of publication: Stockholm
Language: eng
Number of pages: 90
Subjects: Computer programming
Notes: Thesis (doctoral)--Kungl. Tekniska Högskolan, Stockholm, 1980.

Bibliography: leaves 86-90.