LuiTei-SCP-95

@article{LuiTei-SCP-95,
title = {Systematic derivation of incremental programs},
author = {Yanhong Annie Liu and Tim Teitelbaum},
journal = {Science of Computer Programming},
volume = {24},
number = {1},
pages = {1--39},
month = {Feb},
year = {1995},
url = {ftp://ftp.cs.cornell.edu/pub/yanhong/Inc-SCP95.ps.Z}}

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