This material is essentially Chapter 9 of the book Software Development in Pascal by Sartaj Sahni, NSPAN Printing and Publishing, 1993. It is reproduced here with permission of the publisher.