%0 Journal Article 
%F milner84
%A Milner, Robin
%T A Complete Inference System for a Class of Regular Behaviours
%J Journal of Computer and System Sciences (JCSS)
%V 28
%P 439-466
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/milner1984.pdf
%D 1984
%K coinduction
%K  algexp