Introdução e Caracteristicas principais Vaziri et al.
Inclusao de diagrama de profile
Inclusao de axiomas em números naturais
Cumprimento do contrato vaziri et al.
Inclusao de diagrama de perfil vaziri et al.
Inclusão de formas de uso (vaziri et al.)
Inclusao de mais algumas coisas em vaziri et al. (referentes a herança)
Robutez (vaziri et al.)