Articles by T Banaschewski (1)