References

Bowman, Mic, Saumya K. Debray, and Larry L. Peterson. 1993. “Reasoning About Naming Systems.” ACM Trans. Program. Lang. Syst. 15 (5): 795–825. https://doi.org/10.1145/161468.161471.

Braams, Johannes. 1991. “Babel, a Multilingual Style-Option System for Use with Latex’s Standard Document Styles.” TUGboat 12 (2): 291–301.

Clark, Malcolm. 1991. “Post Congress Tristesse.” In TeX90 Conference Proceedings, 84–89. TeX Users Group.

Cohen, Sarah, Werner Nutt, and Yehoshua Sagic. 2007. “Deciding Equivalances Among Conjunctive Aggregate Queries.” J. ACM 54 (2). https://doi.org/10.1145/1219092.1219093.

Lamport, Leslie. 1986. LaTeX: A Document Preparation System. Reading, MA.: Addison-Wesley.

Salas, S.L., and Einar Hille. 1978. Calculus: One and Several Variable. New York: John Wiley; Sons.