David King Chris Kimble Notions of Equivalence in Software Design http://arxiv.org/abs/cs.SE/0406023 2004 CoRR cs.SE/0406023 db/journals/corr/corr0406.html#cs-SE-0406023