Programming with Logic
A simple Structured Approach
By David C. Bulliner
March 14, 1986