The computable kernel of Abstract State Machines (2008)

by Wolfgang Reisig
Venue:Theoretical Computer Science