@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}
}