| 1996 | ||
|---|---|---|
| 2 | A. N. Clark: Formal Basis for the Refinement of Rule Based Transition Systems. J. Funct. Program. 6(2): 329-354 (1996) | |
| 1994 | ||
| 1 | A. N. Clark: Pattern Recognition of Noisy Sequences of Behavioural Events using Functional Combinators. Comput. J. 37(5): 385-398 (1994) | |