A Lattice-theoretical Basis for a Specification Language.

Ralph-Johan Back Joakim von Wright A Lattice-theoretical Basis for a Specification Language. 139-156 1989 conf/mpc/1989 MPC db/conf/mpc/mpc89.html#BackW89