| |
| 1995 | ||
|---|---|---|
| 5 | Ian Maung: On Simulation, Subtyping and Substitutability in Sequential Object Systems. Formal Asp. Comput. 7(6): 620-651 (1995) | |
| 4 | EE | Ian Maung: Two characterizations of a minimum-information principle for possibilistic reasoning. Int. J. Approx. Reasoning 12(2): 133-156 (1995) |
| 3 | Richard J. Mitchell, John Howse, Ian Maung: As-a: A Relationship to Support Code Reuse. JOOP 8(4): 25-33, 55 (1995) | |
| 1994 | ||
| 2 | Ian Maung, John Howse, Richard J. Mitchell: Towards a Formalization of Programming-by-Difference. FME 1994: 134-153 | |
| 1992 | ||
| 1 | Ian Maung, John Howse: Introducing Hyper-Z - A New Approach to Object Orientation in Z. Z User Workshop 1992: 149-165 | |
| 1 | John Howse | [1] [2] [3] |
| 2 | Richard J. Mitchell | [2] [3] |