1. Proving behavioural theorems with standard first-order logic;Bidoit,1994
2. Behavioural theories and the proof of behavioural properties;Bidoit;Theoret. Comput. Sci.,1996
3. M. Bidoit, R. Hennicker, Observer complete definitions are behaviourally coherent, in: Proc. OBJ/CafeOBJ/Maude Workshop at Formal Methods’99, Toulouse, France, Sep., 1999, pp. 83–94. Preliminary long version available as Report LSV 99-4
4. Behavioural and abstractor specifications;Bidoit;Sci. Comput. Program.,1995
5. Protoalgebraic logics;Blok;Stud. Logica,1986