A complete inference system for a class of regular behaviours (1984)

by R Milner
Venue:Journal of Computer and System Sciences