A programming theory for discrete simulation. - Robert E. Haymond (WSC, 1978)

A Product Automaton Formalism for Hierarchical, Modular, Discrete Simulation. - Frederick J. Portier; Robert E. Haymond (INFORMS J. Comput., 1991)