Abstract State Machines, B and Z Egon Börger, Michael Butler, Jonathan P Bowen 456,60 DKK See product
