Modular Methods In The Supervisory Control Of Discrete Event Systems door Sir Richard Hill