Software Engineering: The Relationship between a Formal System and its Environment. - Frank Land; Elizabeth Somogyi (J. Inf. Technol., 1986)