Jay M. Spitzen

	1978
4		Jay M. Spitzen, Karl N. Levitt, Lawrence Robinson: An Example of Hierarchical Design and Proof. Commun. ACM 21(12): 1064-1075 (1978)
	1976
3		Jay M. Spitzen: The Specification of Assemblers. IEEE Trans. Software Eng. 2(1): 33-40 (1976)
2		Ben Wegbreit, Jay M. Spitzen: Proving Properties of Complex Data Structures. J. ACM 23(2): 389-396 (1976)
	1974
1		Jay M. Spitzen, Ben Wegbreit: The Verification and Synthesis of Data Structures Acta Inf. 4: 127-144 (1974)

Coauthor Index

1	Karl N. Levitt	[4]
2	Lawrence Robinson	[4]
3	Ben Wegbreit	[1] [2]

Colors in the list of coauthors