Basic Proof Skills of Computer Science Students. - Pieter H. Hartel; Bert van Es; Dick Tromp (FPLE, 1995)