Treharne, H and Schneider, S
(2000)
How to Drive a B Machine.
In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, 2000-08-29 - 2000-09-02, York, UK.