<html><body><div style="color:#000; background-color:#fff; font-family:times new roman, new york, times, serif;font-size:12pt"><div>Hi all:</div><div>I was browsing and suddenly saw a document reference I didn't know existed cited as this text below:</div><div>"[Cardelli et al. 1987<span class="st">]</span> L. Cardelli, J. Donahue, and G Nelson. The Modula 3 Type System. Draft Technical Report DEC SRC, October 1987. Appendix to Draft Modula 3 Language Specification."</div><div style="color: rgb(0, 0, 0); font-size: 16px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;">from:</div><div style="color: rgb(0, 0, 0); font-size: 16px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;">http://www.emeraldprogramminglanguage.org/nil.pdf<br></div><div style="color: rgb(0, 0, 0); font-size: 16px; font-family: times new roman,new york,times,serif;
 background-color: transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 16px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;">Maybe somebody with high profile (not me )  for HP could ask them if we may have a working copy of it. The other way around would be writing the original authors of the document about it. Any volunteer?<br></div><div style="color: rgb(0, 0, 0); font-size: 16px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 16px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;">It would be a great technical document for my dreamed theoretical Modula-3 web page.<br></div><div style="color: rgb(0, 0, 0); font-size: 16px; font-family: times new roman,new york,times,serif; background-color:
 transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 16px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;">Thanks in advance</div></div></body></html>