1. Externalized and internalized notions of behavioral refinement;Bidoit,2005
2. Constructor-based observational logic;Bidoit;J. Log. Algebraic Program.,2006
3. Behavioural and abstractor specifications;Bidoit;Sci. Comput. Program.,1995
4. Hybrid Logic and Its Proof-Theory;Braüner,2010
5. CafeOBJ Report — The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification;Diaconescu,1998