A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines.

Hans Tonino A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines. 91-110 1998 Workshop on Abstract State Machines db/conf/asm/asm98.html#Tonino98