In a 1975 paper Spectra and halting problems she considered problems related to theoretical computer science.
Sa isang 1,975 papel Spectra at pagtigil-tigil problema siya itinuturing na mga problema na kaugnay sa panteorya computer science.