Basic applied logic - Machina, Kenton F. (Scott, Foresman, 1982)