"Abstract State Machines 2004.. Advances in Theory and Practice, 11 conf., ASM 2004" - читать интересную книгу автора (Wolf Zimmermann, Bernhard Thalheim)