William C. Rounds
Univ. of Michigan, Ann Arbor
Termination, deadlock, and divergence
Journal of the ACM (JACM)
Underspecification for a simple process algebra of recursive processes
Theoretical Computer Science