Bireflectivity. - Peter J. Freyd; Peter W. O'Hearn; A. John Power; Makoto Takeyama; R. Street; Robert D. Tennent (Theor. Comput. Sci., 1999)