1. Verification of Sequential and Concurrent Programs;Apt,1997
2. Demonic operators and monotype factors;Backhouse;Math. Struct. Comput. Sci.,1993
3. G. Birkhoff, Lattice Theory, Vol. 25, Colloquium Publications, American Mathematical Society, Providence, RI, 1984 (Reprint).
4. E. Cohen, Separation and reduction, in: R. Backhouse, J.N. Oliveira (Eds.), Proc. Mathematics of Program Construction, Fifth Internat. Conf., MPC 2000, Lecture Notes in Computer Science, Vol. 1837, Springer, Berlin, 2000, pp. 45–59.
5. Systematic design of program analysis frameworks;Cousot,1979