A. P. Martin

	2000
3		S. M. Brien, A. P. Martin: A Calculus for Schemas in Z. J. Symb. Comput. 30(1): 63-91 (2000)
	1998
2		Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel Wabenhorst: A Set-Theoretic Model for Real-Time Specification and Reasoning. MPC 1998: 188-206
	1996
1		A. P. Martin, Paul H. B. Gardiner, Jim Woodcock: A Tactic Calculus-Abridged Version. Formal Asp. Comput. 8(4): 479-489 (1996)

Coauthor Index

1	S. M. Brien	[3]
2	Colin J. Fidge	[2]
3	Paul H. B. Gardiner	[1]
4	Ian J. Hayes	[2]
5	Axel Wabenhorst	[2]
6	Jim Woodcock (J. C. P. Woodcock)	[1]

Colors in the list of coauthors