Formal Aspects of Computing The International Journal of Formal Methods (Springer-Verlag, 1990)