Topic
especificação de programa matemático destinada a permitir provas de correção, incluindo algoritmicamente
