@inproceedings{hoare1999unification,
author = {Hoare, Tony and },
title = {Unification of Theories: a Challenge for Computing Science},
year = {1999},
month = {November},
abstract = {Unification of theories is the long-standing goal of the natural sciences; and modern physics offers a spectacular paradigm of its achievement. The structure of modern mathematics has also been determined by its great unifying theories-topology, algebra, and the like. The same ideals and goals are shared by researchers and students of theoretical computing science.},
publisher = {Springer-Verlag},
url = {http://approjects.co.za/?big=en-us/research/publication/unification-of-theories-a-challenge-for-computing-science/},
}