Book

Abstract State Machines, B and Z

by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca