Generic Programming IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany - Gibbons, Jeremy; Jeuring, Johan (Springer US, 2003)