Abstract State Machines 2004. Advances in Theory and Practice
scientific article; zbMATH DE number 5549905