LiuTei-TR-94

@techreport{LiuTei-TR-94,
title = {Systematic derivation of incremental programs},
author = {Yanhong Annie Liu and Tim Teitelbaum},
institution = {Cornell Univ., Dept. of Computer Science},
number = {TR94-1444},
month = {Aug},
year = {1994},
url = {http://historical.ncstrl.org/tr/ps/cornellcs/TR94-1444.ps}}

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!