Nigel P. Smart Frederik Vercauteren On computable isomorphisms in efficient asymmetric pairing-based systems. 538-547 2007 155 Discrete Applied Mathematics 4 http://dx.doi.org/10.1016/j.dam.2006.07.004 db/journals/dam/dam155.html#SmartV07