Almeida JB, Barbosa MB, Pinto JS, Vieira B.? 2009.??Verifying Cryptographic Software Correctness with Respect to Reference Implementations. Formal Methods for Industrial Critical Systems - FMICS. 5825:37-52.