No. 20 (2004): RS-20 From Natural Semantics to Abstract Machines

Published: 2004-01-20