Re: First Echelon Source

[Julian Assange]

1988 was not the first mention of the network. As far
back as 1972, Ramparts published an extremely revealing
kiss and tell.

-- 
Stefan Kahrs in [Kah96] discusses the
   notion of completeness--programs which never go wrong can be
   type-checked--which complements Milner's notion of
   soundness--type-checked programs never go wrong [Mil78].