A transformational approach to the development and verification of programs in a very high level language.
Publisher: Courant Institute of Mathematical Sciences, New York University
Published: 1980
Place of publication: New York
Language: eng