A complete inference system for regular processes with silent moves
A complete inference system for regular processes with silent moves / J.A. Bergstra, J.W. Klop