@phdthesis{Erkok-thesis-02, author = "Levent {Erk\"{o}k}", title = "Value recursion in monadic computations", year = "2002", address = "Portland, Oregon", school = "OGI School of Science and Engineering, OHSU", }