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