Syntax and defining equations for an interrupt mechanism in process algebra - Baeten, Josephus C. M.; Bergstra, Jan A. 1951-; Klop, Jan Willem 1945- (1985)