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

                           eBook en PDF

 Primera edición: Fe de erratas a la primera edición: