Efficient, Safe, Application-Specific Message Processing by Dawson R. Engler and Deborah A. Wallach.