Structured theories (1983)

by D Sannella, R Burstall
Venue:in LCF. Proc. Colloq. on Trees in Algebra and Programming, L'Aquila. Springer LNCS 159