Aspectos teóricos da computacao - Lucchesi, Claudio L.; Simon, Imre; Simon, Istvan; Simon, Janos; Kowaltowski, Tomasz (Projeto Euclides, 1979)