There are many excellent journal articles and textbooks on the topics of applicative programming and the formal specification of computer programs. A bibliography is given at the end of each chapter of these notes.