Brief announcement: PUSH, a DISC shell. - Evans, Noah Paul; Hensbergen, Eric Van (2009)