ZB 2003: Formal Specification and Development in Z and B Didier Bert, Jonathan P. Bowen, Steve King 880,20 kr. Se produkt
