H. Sawistowski and W. Smith. B. de Wit and J. Smith. D. W. Jordan and P. Smith. K. Kuratowski and A. Mostowski. D.W. Jordan and P. Smith.