A formal description of discrete event dynamic systems : including perturbation analysis / Bert Bettonvil
A formal description of discrete event dynamic systems : including perturbation analysis