John Van Tassel

	1992
3		Richard J. Boulton, Andrew Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel: Experience with Embedding Hardware Description Languages in HOL. TPCD 1992: 129-156
2		John Van Tassel: A Formalisation of the VHDL Simulation Cycle. TPHOLs 1992: 359-374
	1990
1		John Van Tassel, David Hemmendinger: Specifying and Automatically Generating Ada Tasks in Prolog. ACM Conference on Computer Science 1990: 121-127

Coauthor Index

1	Richard J. Boulton	[3]
2	Andrew Gordon	[3]
3	Michael J. C. Gordon	[3]
4	John Harrison	[3]
5	David Hemmendinger	[1]
6	John Herbert	[3]

Colors in the list of coauthors