Skip to main content
within M. A. Casanova Logics and Meanings of Programs
Article
M. A. Casanova, P. A. Bernstein in Acta Informatica (1981)
JavaScript is currently disabled, this site works much better if you enable JavaScript in your browser.