A Complete Inference System for a Class of Regular Behaviours

Authors: Robin Milner - Journal of Computer and System Sciences 1984 cited by 319