@phdthesis{denney-refine-99,
  title = {A Theory of Program Refinement},
  author = {Ewen  Denney},
  year = {1999},
  month = {July},
  tags = {programming languages, object-oriented programming, semantics, rule-based, completeness, meta programming, generic programming, case study, type soundness, meta-model, modeling language, modeling, refinement, language modeling, functional programming, principles, model-driven development, object-role modeling, logic programming, programming, subject-oriented programming, logic, type theory, Meta-Environment, feature-oriented programming},
  researchr = {https://researchr.org/publication/denney-refine-99},
  cites = {0},
  citedby = {0},
  school = {University of Edinburgh},
  advisor = {Gordon Plotkin and John Power and  },
}