Reformed Logic by D.B. McLachlan