Duality in Specification Languages: A Lattice-Theoretical Approach

Ralph-Johan Back, Joakim von Wright. Duality in Specification Languages: A Lattice-Theoretical Approach. Acta Informatica, 27(7):583-625, 1989.

Abstract

Abstract is missing.