1. Robert Goldblatt, Saturation and the Hennessy-Milner Property. In: A. Ponse et.al.(eds.), Modal Logic and Process Algebra, CSLI Lecture Notes No.53, 1995.
2. Hensel, U., Reichel, H.: Defining Equations in Terminal Coalgebras, Springer LNCS 906
3. Hennessy-Milner Classes and Process Algebra;Hollenberg,1995
4. Bart Jacobs, Mongruences and Cofree Coalgebras. In: V.S. Alagar et.al.(eds.), Algebraic Methodology and Software Technology, LNCS 936, 1995, p.83–103
5. Objects and Classes, co-algebraically;Jacobs,1996