On construction of correct programs as a two-level process
By: by Markku Syrjänen.
Publisher: TKY Otapaino
Published: 1975
Place of publication: Espoo, Finland
Language: eng
Number of pages: 137
Subjects: Computer programming.
Notes: Bibliography: p. 101-104.