Multiprocessor interrupting and synchronizing concepts in the parallel SIMULA machine and their representation by Petri-Nets. - Mike P. Papazoglou; Panayiotis I. Georgiadis; Dimitris G. Maritsas; A. A. Dickie (Microprocessing and Microprogramming, 1985)