Elspeth Cusack

	1992
11		Elspeth Cusack, G.-H. Bagherzadeh Rafsanjani: ZEST. Object Orientation in Z 1992: 113-126
10		Elspeth Cusack, Clazien D. Wezeman: Deriving Tests for Objects Specified in Z. Z User Workshop 1992: 180-195
9		Elspeth Cusack: Using Z in Communications Engineering. Z User Workshop 1992: 196-202
8		Elspeth Cusack, Gregor von Bochmann: Formal object-oriented methods in communication standards. OOPS Messenger 3(2): 7-8 (1992)
	1991
7		Elspeth Cusack: Inheritance in Object-Oriented Z. ECOOP 1991: 167-179
6		Elspeth Cusack: Object Oriented Modelling in Z for Open Distributed Systems. Open Distributed Processing 1991: 167-178
5		Elspeth Cusack: Design Techniques and Methodologies. Open Distributed Processing 1991: 433-434
4		Elspeth Cusack: Refinement, Conformance and Inheritance. Formal Asp. Comput. 3(2): 129-141 (1991)
	1990
3		Elspeth Cusack, Michael Lai: Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! REX Workshop 1990: 179-202
	1989
2		Elspeth Cusack, Steve Rudkin, Chris Smith: An Object Oriented Interpretation of LOTOS. FORTE 1989: 211-226
	1988
1		Elspeth Cusack: Formal Design and Development of Ada Real-Time Embedded Systems. Specification and Verification of Concurrent Systems 1988: 71-83

Coauthor Index

1	Gregor von Bochmann	[8]
2	Michael Lai	[3]
3	G.-H. Bagherzadeh Rafsanjani	[11]
4	Steve Rudkin	[2]
5	Chris Smith	[2]
6	Clazien D. Wezeman	[10]

Colors in the list of coauthors