J. Gerard Wolff Unifying Computing and Cognition: The SP Theory and its Applications http://arxiv.org/abs/cs.AI/0401009 2004 CoRR cs.AI/0401009 db/journals/corr/corr0401.html#cs-AI-0401009 informal publication