PakCat catalogue record simulation Techniques for Discrete Event Systems By Mitrani I Bibliographic details PublisherCambridge Publication placeLondon