Noah Paul Evans Eric Van Hensbergen Brief announcement: PUSH, a DISC shell. 306-307 2009 PODC http://doi.acm.org/10.1145/1582716.1582780 conf/podc/2009 db/conf/podc/podc2009.html#EvansH09