Dave Whitely

1991
1		Susan Stepney, Dave Whitely, David Cooper, Colin Grant: A Demonstrably Correct Compiler. Formal Asp. Comput. 3(1): 58-101 (1991)

Coauthor Index

1	David Cooper	[1]
2	Colin Grant	[1]
3	Susan Stepney	[1]