"The analysis of programs presented is extremely thorough and complete. The comparisons are easy to follow due to the use of the same logical framework for each program."