Oliveira JN, Rodrigues C.? 2004.??Transposing Relations: from Maybe Functions to Hash Tables. MPC - 7th International Conference on Mathematics of Program Construction. 3125:334-356.