%0 Book
%A Borger, Egon, 1946-
%T Abstract state machines : a method for high-level system design and analysis
%U /book/103936433/Abstract-state-machines-a-method-for-highlevel/