DARPA materials including Wiederhold proposal and notes from Robert Kahn talk