1. Bao, N.Q.T.: Verifying the correctness of compiler for an imperative programming language. Master’s thesis, School of Information Science, JAIST (2011)
2. Daudier, D.: Verification of compilers based on algebraic specifications. Technical report, ISAE ENSMA (2017)
3. Morgan, O.: C compiler validation for embedded targets - qualifying compilers for use in safety-critical projects. A white paper of Solid Sands B.V. (2016)
4. Diaconescu, R., Futatsugi, K.: CafeOBJ Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. AMAST Series in Computing, vol. 6. World Scientific, Singapore (1996)
5. Lecture Notes in Computer Science;JA Goguen,1990