A complete inference system for a class of regular behaviours - Milner, Robin 1934-2010 (University <Edinburgh>, 1982)