A Complete Inference System for a Class of Regular Behaviours

著者: Robin Milner - Journal of Computer and System Sciences 1984 被引用: 319