Martin Elsman Niels Hallenberg Web Programming with SMLserver. 74-91 2003 conf/padl/2003 PADL http://link.springer.de/link/service/series/0558/bibs/2562/25620074.htm db/conf/padl/padl2003.html#ElsmanH03