Formal aspects of computing (Springer Verlag)