David Sands. Calculi for time analysis of functional programs. PhD thesis, Imperial College London, UK, 1990. [doi]
@phdthesis{ethos-12821, title = {Calculi for time analysis of functional programs}, author = {David Sands}, year = {1990}, url = {http://hdl.handle.net/10044/1/46536}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-12821}, cites = {0}, citedby = {0}, school = {Imperial College London, UK}, }