Charatonik, Witold Programming Logics, MPI for Informatics, Max Planck Society;
Charatonik, W. (1998). Set Constraints in Some Equational Theories. Information and Computation, 142, 40-75.