3 works on record
Logics of specification languages
Elements of functional languages
ZB 2002 : Formal Specification and Development in Z and B
