Computations, residuals and the power of indeterminacy (1988)

by P Panangaden, E W Stark
Venue:In Timo Lepisto and Arto Salomaa, editors, Proceedings of the Fifteenth ICALP