| |
| 1990 | ||
|---|---|---|
| 2 | James M. Morris, Mark Howard: Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. CAV 1990: 322-332 | |
| 1987 | ||
| 1 | Yuri Gurevich, James M. Morris: Algebraic Operational Semantics and Modula-2. CSL 1987: 81-101 | |
| 1 | Yuri Gurevich | [1] |
| 2 | Mark Howard | [2] |