David Naumann

	2009
2		Michael Johnson, David Naumann, John Power: Category Theoretic Models of Data Refinement. Electr. Notes Theor. Comput. Sci. 225: 21-38 (2009)
	1986
1		Valdis Berzins, Michael Gray, David Naumann: Abstraction-Based Software Development. Commun. ACM 29(5): 402-415 (1986)

Coauthor Index

1	Valdis Berzins	[1]
2	Michael Gray	[1]
3	Michael Johnson	[2]
4	John Power (A. John Power)	[2]

Colors in the list of coauthors