P. J. Lupton

	1990
2		P. J. Lupton: Promoting Forward Simulation. Z User Workshop 1990: 27-49
1		Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock: A Simpler Semantics for Z. Z User Workshop 1990: 3-11

Coauthor Index

1	Paul H. B. Gardiner	[1]
2	Jim Woodcock (J. C. P. Woodcock)	[1]