1. Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University (1981)
2. Drossopoulou, S., Eisenbach, S.: Towards an Operational Semantics and Proof of Type Soundness for Java. Springer, Heidelberg (1998)
3. Schmdit, D.A.: Denotational Semantics. A Methodology for Language Development. Allyn and Bacon, Inc. (1986)
4. Hoare, C.A.R., Hayes, I.J., Jifeng, H., Morgan, C.C., Roscoe, A.W., Sanders, J.W., Sorensen, I.H., Spivey, J.M., Sufrin, B.A.: Laws of programming. Commun. ACM 30, 672–686 (1987)
5. Borba, P.H.M., Sampaio, A.C.A., Cavalcanti, A.L.C., Cornélio, M.L.: Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming 52, 53–100 (2004)