Formalization of Exel. - Louis Nolin; G. Ruggiu (POPL, 1973)

Cryptology and Complexity Theories. - G. Ruggiu (EUROCRYPT, 1984)