Abstract State Machines by E. Boerger & Egon Borger