1. Transarc Encina Product Information. http://www.transarc.com/Product/Txseries/Encina/ .
2. Transarc Solutions. http://www.transarc.com/Solutions/index.html .
3. V. Benzaken and A. Doucet. Thémis: A Database Programming Language Handling Integrity Constraints. The VLDB Journal, 4(3):493–517, July 1995.
4. P. A. Bernstein and E. Newcomer. Transaction Processing for the Systems Professional. Morgan Kaufmann Publishers, 1996.
5. B. T. Blaustein. Esforcing Database Assertions. PhD thesis, Harvard University, Cambridge, MA, 1981.