H.-D.: Abstract Object Types: A Temporal Perspective (1988)

by A Sernadas, J Fiadeiro, C Sernadas, Ehrich
Venue:Proc. Colloq. on Temporal Logic in Specification. LNCS 398