A complete axiomatisation for observational congruence of finite-state behaviours

by Robin Milner