A Logical Basis for Programming Methodology. - Satoru Takasu; Sukemitsu Kawabata (Theor. Comput. Sci., 1981)