Lawrence Snyder The design and development of ZPL. 1-37 2007 conf/hopl/2007 HOPL http://doi.acm.org/10.1145/1238844.1238852 db/conf/hopl/hopl2007.html#Snyder07