1. Transarc Encina Product Information.
http://www.transarc.com/Solutions
.
http://www.transarc.com/Product/Txseries/Encina/
. 317, 318
2. V. Benzaken and A. Doucet. Thémis: A Database Programming Language Handling Integrity Constraints. The VLDB Journal, 4(3):493–517, July 1995. 317
3. J. Besancenot, M. Cart, J. Ferrié, R. Gerraoui, P. Pucheral, and B. Traverson. Les systémes transactionnnels. Hermes, Paris, 1997. 317
4. B. T. Blaustein. Enforcing Database Assertions. PhDt hesis, Harvard University, Cambridge, MA, 1981. 317
5. Lect Notes Comput Sci;E. Boertjes,1998