Verisimilitude via Vietoris. - Chris Brink; J. J. C. Vermeulen; J. P. G. Pretorius (J. Log. Comput., 1992)

A non-Hausdorff quaternion multiplication. - Keith A. Hardie; S. Salbany; J. J. C. Vermeulen; Peter J. Witbooi (Theor. Comput. Sci., 2003)