Felix C. Gartner. Revisiting liveness properties in the context of secure systems. 2003
Helen Treharne, Steve King, Martin C. Henson, Steve Schneider, eds. ZB 2005: Formal Specification and Development in Z and B: Fourth International Conference of B and Z Users, Guildford, UK.
(read but not reviewed)
Cliff B. Jones. Specification before Satisfaction: the case for research into obtaining the right specification. 2005