A closer look at termination

• 1 January 1975
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 5  (4)
• https://doi.org/10.1007/bf00264565

Abstract