Deliverables a categorical approach to program development in type theory - Burstall, Rod M.; MacKinna, James (1992)