"Abstract State Machines: a unifying view of models of computation and of ..."

Egon Börger (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics