formal Aspects of Computing (Springer London)