A structural approach to the mapping problem in parallel discrete event logic simulations. - Mark Davoren (1989)