Stephen A. Schuman

	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

Coauthor Index

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]

Colors in the list of coauthors