@article{hernandez2000philosophica,
  title={Especificación formal de protocolos criptográficos en Cálculo de Situaciones},
  author={Hern{\'a}ndez-Orallo, J.},
  journal={Novatica},
  volume={143},
  pages={57-63},
  year={2000}
}