Programacion metodica /
José Luis Balcazar.
- Madrid : McGraw-Hill, 1993.
- xvi, 416 p.
Bibliografia (p. 409-411)
Especificacion y corrección.--Programas recursivos.--Transformacion de programas de inmersion.--Busqueda en estructuras ordenadas.--Algoritmos de ordenacion