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