PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperModeling and simulating flash based solid-state disks for operating systemsKaoutar El Maghraoui, Gokul Kandiraju, et al.WOSP/SIPEW 2010