It was heavily refereed and edited -- but that was done internally.
--Steve Bellovin, http://www.research.att.com/~smb