K.: Typed Abstract State Machines (1998)

by Del Castillo, G Gurevich, Y Stroetmann