E. Albert, S. Genaim, A. Merayo, и G. Román-Díez. The Logic of Software. A Tasting Menu of Formal Methods, том 13360 из Lecture Notes in Computer Science, стр. 19-37. Springer, (2022)
E. Albert, J. Correas, и G. Román-Díez. Theory and Practice of Formal Methods, том 9660 из Lecture Notes in Computer Science, стр. 33-46. Springer, (2016)