Topic
especificación de programa matemático destinada a permitir pruebas de corrección, incluyendo algorítmicamente
