Han Logic Comp Sci Vol 2 Hlcs C door T.S.E. Maibaum & Samson Abramsky