A Complete Inference System for a Class of Regular Behaviours (1984)

by R Milner
Venue:in Journal of Computer and System Sciences