Pascal : precisely - Bishop, Judy (Addison-Wesley, 1993)
Includes index.