Herranz Nieva, Ángel (2010) An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay. Tesis(Doctoral), Computer Faculty (UPM).