A complete inference system for regular processes with silent moves (1986)

by J A Bergstra, J W Klop
Venue:In F.R. Drake, J.K. Truss (Editors), Proceedings of Logic Colloquium