@inproceedings{SHARE-1965-Falkoff,
	author        = "Adin D. Falkoff",
	booktitle     = "{Second Proceedings of the SHARE Design Automation Project}",
	doi           = "10.1145/800266.810758",
	publisher     = "{ACM}",
	title         = "{Formal description of processes — the first step in design automation}",
	year          = 1965,
}