Formal aspects of computing : applicable formal methods (Springer, 1989)