| |
| 1994 | ||
|---|---|---|
| 2 | Michael Glykas, Tony Holden, Paul Wilhelmij: Modeling Safety-Critical Organisational Processes using the Agent Relationship Morphism Methodology (A. R. M. A.). HICSS (4) 1994: 693-702 | |
| 1993 | ||
| 1 | Michalis Glykas, Paul Wilhelmij, Tony Holden: Verifiable Object Oriented Designs. TOOLS (11) 1993: 391-406 | |
| 1 | Michael Glykas | [2] |
| 2 | Michalis Glykas | [1] |
| 3 | Tony Holden | [1] [2] |