Bharat Jayaraman Sublist Assertions for Listless and Lazy Evaluation. 133-146 1992 17 Comput. Lang. 2 db/journals/cl/cl17.html#Jayaraman92