Lawrence Flon

	1981
4		Lawrence Flon, Norihisa Suzuki: The Total Correctness of Parallel Programs. SIAM J. Comput. 10(2): 227-246 (1981)
	1978
3		Lawrence Flon, Norihisa Suzuki: Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs FOCS 1978: 184-192
	1976
2		Lawrence Flon, A. Nico Habermann: Towards the Construction of Verifiable Software Systems. Conference on Data: Abstraction, Definition and Structure 1976: 141-148
1		A. Nico Habermann, Lawrence Flon, Lee W. Cooprider: Modularization and Hierarchy in a Family of Operating Systems. Commun. ACM 19(5): 266-272 (1976)

Coauthor Index

1	Lee W. Cooprider	[1]
2	A. Nico Habermann	[1] [2]
3	Norihisa Suzuki	[3] [4]

Colors in the list of coauthors