@inproceedings{DAC-1973-Miyoshi,
	acmid         = "804018",
	author        = "Akira Miyoshi",
	booktitle     = "{Proceedings of the 10th Design Automation Workshop}",
	pages         = "213--221",
	publisher     = "{ACM}",
	title         = "{Automatic generation of diagnostic programs for TOSBAC — 5400/150}",
	year          = 1973,
}