Jack Campin, Norman W. Paton, M. Howard Williams. A structured specification of an active database system. Information \& Software Technology, 37(1):47-61, 1995. [doi]
@article{CampinPW95, title = {A structured specification of an active database system}, author = {Jack Campin and Norman W. Paton and M. Howard Williams}, year = {1995}, doi = {10.1016/0950-5849(94)00013-I}, url = {http://dx.doi.org/10.1016/0950-5849(94)00013-I}, researchr = {https://researchr.org/publication/CampinPW95}, cites = {0}, citedby = {0}, journal = {Information \& Software Technology}, volume = {37}, number = {1}, pages = {47-61}, }