Structured theories in LCF (1983)

by D. T. Sannella, R. M. Burstall
Venue:In Proc. 8th Colloq. on Trees in Algebra and Programming, volume 159 of Lecture Notes in Computer Science