Further developments in generating type-safe messaging - R. Neswold; C. King (CoRR, 2012)