From logic to computing - McArthur (Wadsworth, 1991)