Machine generated authority record

Work cat.: (arssjubce)16030: Ortiz, Antonio Claudio, Herramienta de edición para la creación de especificación formal basada en el lenguaje RSL (raise specification language)., 2016.