PaperSpecifying Queries as Relational Expressions: The SQUARE Data SublanguageRaymond F. Boyce, Donald D. Chamberlin, et al.CACM
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperChanges of Tc under epitaxial strain: Implications for the mechanism of superconductivityJ.P. Locquet, J. Perret, et al.SPIE Optical Science, Engineering, and Instrumentation 1998