@inproceedings{DAC-1973-Mitchell,
	acmid         = "804003",
	author        = "Terry R. Mitchell",
	booktitle     = "{Proceedings of the 10th Design Automation Workshop}",
	pages         = "87--96",
	publisher     = "{ACM}",
	title         = "{A standard test language — GOAL (Ground Operations Aerospace Language)}",
	year          = 1973,
}