A unifying logic-based formalism for semantic data models. - James Vorbach; James Kowalski (ACM Conference on Computer Science, 1991)

Building Real Computer Systems. - Augustus K. Uht; Jien-Chung Lo; Ying Sun; James C. Daly; James Kowalski (IEEE Micro, 2000)