Mathematics of Program Construction

7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

by Dexter Kozen, Carron Shankland

2014 · 416 pages