Anne H. H. Ngu: Specification and verification of temporal relationships in transaction modelling. Inf. Syst. 15(2): 257-267 (1990)