Systematic derivation of incremental programs

Yanhong Annie Liu and Tim Teitelbaum
Tech. report TR94-1444, Cornell Univ., Dept. of Computer Science, Aug 1994
Science of Computer Programming 24(1):1–39, Feb 1995


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