Tim Miller Jarred McGinnis Amongst First-Class Protocols. 208-223 2007 ESAW http://dx.doi.org/10.1007/978-3-540-87654-0_11 conf/esaw/2007 db/conf/esaw/esaw2007.html#MillerM07