Satoru Takasu Sukemitsu Kawabata A Logical Basis for Programming Methodology. 43-60 1981 16 Theor. Comput. Sci. db/journals/tcs/tcs16.html#TakasuK81