@article{Hoefner_McIver_14,
    author           = {H\"ofner, Peter and McIver, Annabelle},
    doi              = {j.jlap.2014.02.009},
    journal          = {Journal of Logical and Algebraic Methods in Programming (JLAMP)},
    month            = apr,
    number           = {2},
    pages            = {212--224},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7524.pdf},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {Hopscotch---Reaching the Target Hop by Hop},
    volume           = {83},
    year             = {2014}
  }