An algebra of quotient relations: draft - Furtado, A L. (Monographs in computer science and computer applications; no. 10176, 1976)