Leontiev, et al.. On Type Systems for Object-oriented Database Programming Languages. Association for Computing Machinery (ACM), Dec. 2002, doi:10.1145/592642.592643.