@mastersthesis{refinement-closure,
  title = "On the Refinement Closure of Information-Flow Properties",
  author = "Thomas Gibson-Robinson",
  year = "2009",
}