1. Lecture Notes in Computer Science;A. Adachi,1979
2. Lecture Notes in Computer Science;E. Albert,2008
3. Lecture Notes in Computer Science;E. Albert,2007
4. Lecture Notes in Computer Science;D. Aspinall,2005
5. Bagnara, R., Pescetti, A., Zaccagnini, A., Zaffanella, E.: PURRS: Towards computer algebra support for fully automatic worst-case complexity analysis. Technical report, arXiv:cs/0512056 (2005), http://arxiv.org/