1. Laurie Anderson. 1982. Let X = X. In Big Science. Warner. Laurie Anderson. 1982. Let X = X. In Big Science. Warner.
2. Vytautas Astrauskas , Peter Müller , Federico Poli , and Alexander J. Summers . 2019. Leveraging Rust types for modular specification and verification . Proc. ACM Program. Lang., 3, OOPSLA ( 2019 ), 147:1–147:30. Vytautas Astrauskas, Peter Müller, Federico Poli, and Alexander J. Summers. 2019. Leveraging Rust types for modular specification and verification. Proc. ACM Program. Lang., 3, OOPSLA (2019), 147:1–147:30.
3. Maurice George Balme and James Morwood . 1997. Oxford Latin Course . Oxford University Press . Maurice George Balme and James Morwood. 1997. Oxford Latin Course. Oxford University Press.
4. An exploration of program as language
5. The Main Features of CPL