Linguagens de domínio específico para software criptográfico - Miranda, Luís Paulo Ferreira (2012)