| |
| 1993 | ||
|---|---|---|
| 5 | Bernhard Möller, Helmuth Partsch, Stephen A. Schuman: Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report Springer 1993 | |
| 4 | Bernhard Möller, Helmuth Partsch, Stephen A. Schuman: Introduction. Formal Program Development 1993: 1-6 | |
| 1988 | ||
| 3 | Stephen A. Schuman, David H. Pitt, Paddy H. Byers: Object-Oriented Process Specification. Specification and Verification of Concurrent Systems 1988: 21-70 | |
| 1980 | ||
| 2 | Jean-Raymond Abrial, Stephen A. Schuman, Bertrand Meyer: Specification Language. On the Construction of Programs 1980: 343-410 | |
| 1979 | ||
| 1 | Jean-Raymond Abrial, Stephen A. Schuman: Non-Deterministic System Specification. Semantics of Concurrent Computation 1979: 34-50 | |
| 1 | Jean-Raymond Abrial | [1] [2] |
| 2 | Paddy H. Byers | [3] |
| 3 | Bertrand Meyer | [2] |
| 4 | Bernhard Möller | [4] [5] |
| 5 | Helmuth Partsch | [4] [5] |
| 6 | David H. Pitt | [3] |