Abstract State Machines door E. Boerger & Egon Borger