2 works on record
ZB 2003 : Formal Specification and Development in Z and B
Formal Reasoning About Distributed Algorithms