A high-level Petri net specification of the Cambridge Fast Ring M-Access Service - Billington, Jonathan (1987)