FORMAL ASPECTS OF COMPUTING : THE INTERNATIONAL JOURNAL OF FORMAL METHODS