| 2009 | ||
|---|---|---|
| 2 | Pawel Gancarski, Andrew Butterfield: The Denotational Semantics of slotted-Circus. FM 2009: 451-466 | |
| 1 | Andrew Butterfield, Pawel Gancarski, Jim Woodcock: State Visibility and Communication in Unifying Theories of Programming. TASE 2009: 47-54 | |
| 1 | Andrew Butterfield | [1] [2] |
| 2 | Jim Woodcock (J. C. P. Woodcock) | [1] |