Title: A transformational approach to the development and verification of programs in a very high level language
First published: 1980