L. Morris

	1980
2		L. Morris, J. Schwarz: Computing Cyclic List Structures. LISP Conference 1980: 144-153
	1978
1		Michael J. C. Gordon, Robin Milner, L. Morris, Malcolm C. Newey, Christopher P. Wadsworth: A Metalanguage for Interactive Proof in LCF. POPL 1978: 119-130

Coauthor Index

1	Michael J. C. Gordon	[1]
2	Robin Milner	[1]
3	Malcolm C. Newey	[1]
4	J. Schwarz	[2]
5	Christopher P. Wadsworth	[1]

Colors in the list of coauthors