A transformational approach to the development and verification of programs in a very high level language

by Edith G. Deak