@mastersthesis{mastersthesis2466cb5f,
title   = {λ-atingibilidade em tempo minimo},
author = {Oliva, Sérgio Muniz and Barbanti, Luciano},
year = {1989},
doi = {10.11606/D.45.1989.tde-20210728-235916},
school = {Universidade de São Paulo}
}