@Misc{dthesis,

author = {R\u{a}zvan Diaconescu},

title = {Category-based Semantics for Equational and Constraint Logic

Programming},

year = 1994,

note = {DPhil thesis, University of Oxford}

}