0 citations0 referencesGoogle Scholardoi.orgProgram proving: CoroutinesActa Informatica·1973·Vol. 2(1), pp. 50–63Citations Over TimeTop 1% of 1973 papersM. ClintRelated Papers→ The Birth of Object Orientation: the Simula Languages(2004)40 cited→ The Birth of Simula(2005)12 cited→ List structures in SIMULA and PL/1—a comparison(1974)2 citedParallel simula machine(1983)→ The Simula Culture - How we do Research, Education and Innovation(2009)