Aucun livre trouvé dans ce genre pour l'instant.
ZB 2003
Jonathan P. Bowen
ZB 2002: formal specification and development in Z and B