%0 Journal Article 
%F milner89
%A Milner, Robin
%T A Complete Axiomatisation for Observational Congruence of Finite-State Behaviors
%J Information and Computation
%V 81
%N 2
%P 227-247
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/milner1989.pdf
%8 May
%D 1989
%K algexp
%K  coinduction