Metalogical frameworks (1993)

by D A Basin, R L Constable