A denotational model and composition theorems for a calculus of delay-insensitive specifications - Lucassen, Paulus Gregorius, 1963- (s.n.], 1994)