1. Alfred V Aho Ravi Sethi and Jeffrey D Ullman. 1986. Compilers: principles techniques and tools. 2 Addison-wesley Reading.
2. Andrew W Appel. 2004. Modern compiler implementation in C. Cambridge university press.
3. [n. d.]. Barbies. https://hackage.haskell.org/package/barbies
4. [n. d.]. BlueSpec CSyntax. https://github.com/B-Lang-org/bsc/blob/main/src/comp/CSyntax.hs Lines L232-L251.
5. Robert Bocchino Timothy Canham Garth Watney Leonard Reder and Jeffrey Levison. 2018. F Prime: an open-source framework for small-scale flight software systems.