Especificación, Verificación y Derivación Formal de Programas
Javier Álvez, Xabier Arregi, Jose Gaintzaráin, Paqui Lucio y Montse Maritxalar
Prólogo de Fernando Orejas
Editorial Pearson, 2015
Segunda edición: papel: hacer pedido por e-mail a pedidos.cgs@anaya.es
Primera edición: Fe de erratas a la primera edición: