Formal aspects of computing (Springer International, 1989)