A profile of probability - Nachbin, Leopoldo, 1922-1993 (Editora da Unicamp, 1986)