@article{MoellerHoare2015,
  author    = {Bernhard M{\"o}ller and Tony Hoare},
  title     = {Exploring an interface model for CKA},
  journal   = {Lecture Notes in Computer Science},
  volume    = {9129},
  pages     = {1 -- 29},
  doi       = {10.1007/978-3-319-19797-5_1},
  year      = {2015},
}