ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings. ISBN 3540402535. Published by Springer in 2003. Publication and catalogue information, links to buy online and reader comments.