Bireflectivity (1996)

by P. J. Freyd , P. W. O'hearn , A. J. Power , M. Takeyama , R. D. Tennent