Formal description of processes - the first step in design automation

Adin D. Falkoff. Formal description of processes - the first step in design automation. In Proceedings of the SHARE design automation project, DAC '65, Atlantic City, NJ, USA, June 23-25, 1965. ACM, 1965. [doi]

@inproceedings{Falkoff65,
  title = {Formal description of processes - the first step in design automation},
  author = {Adin D. Falkoff},
  year = {1965},
  doi = {10.1145/800266.810758},
  url = {http://doi.acm.org/10.1145/800266.810758},
  researchr = {https://researchr.org/publication/Falkoff65},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the SHARE design automation project, DAC '65, Atlantic City, NJ, USA, June 23-25, 1965},
  publisher = {ACM},
}