1. Ordering, compactness, continuity;Baranga;Bull. Math. Soc. Sci. Math. R. S. Roumanie,1987
2. Mathematical Theory of Program Correctness;de Bakker,1980
3. Semantics and logic;de Bakker;Math. Centre Tracts,1983
4. Theorie des Programmes. Schémes, Preuves, Sémantique;Livercy,1978
5. Algebraic Approaches to Program Semantics;Hanes,1986