@inproceedings{DAC-1969-Haas,
	author        = "B. A. Haas",
	booktitle     = "{Proceedings of the Sixth Design Automation Conference}",
	doi           = "10.1145/800260.809026",
	pages         = "185--191",
	publisher     = "{ACM}",
	title         = "{Trw’s extended sceptre software-dc program (TESS-DC) a non-linear worst case program}",
	year          = 1969,
}