Garrel Pottinger

	1997
3		Donald MacKenzie, Garrel Pottinger: Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the U.S. Military. IEEE Annals of the History of Computing 19(3): 41-59 (1997)
	1992
2		Garrel Pottinger: A Classical Type Theory with Transfinite Types. TPHOLs 1992: 81-94
	1990
1		Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger: The Romulus Proof Checker. CADE 1990: 651-652

Coauthor Index

1	Carl Eichenlaub	[1]
2	Bruce Esrig	[1]
3	James Hook	[1]
4	Carl Klapper	[1]
5	Donald MacKenzie	[3]

Colors in the list of coauthors