1![SRC Technical Note 1997-005c June 2, 1998 The Vesta-2 Software Description Language Allan Heydon, Jim Horning, Roy Levin, Timothy Mann, and Yuan Yu SRC Technical Note 1997-005c June 2, 1998 The Vesta-2 Software Description Language Allan Heydon, Jim Horning, Roy Levin, Timothy Mann, and Yuan Yu](https://www.pdfsearch.io/img/9281a5bd55bd6900d9e54097883fd312.jpg) | Add to Reading ListSource URL: www.tim-mann.orgLanguage: English - Date: 2006-11-21 14:57:53
|
---|
2![SRC Technical Note 1997-005c June 2, 1998 The Vesta-2 Software Description Language Allan Heydon, Jim Horning, Roy Levin, Timothy Mann, and Yuan Yu SRC Technical Note 1997-005c June 2, 1998 The Vesta-2 Software Description Language Allan Heydon, Jim Horning, Roy Levin, Timothy Mann, and Yuan Yu](https://www.pdfsearch.io/img/a5dd4a17391282dfd87b0eb56d8a494e.jpg) | Add to Reading ListSource URL: tim-mann.orgLanguage: English - Date: 2006-11-21 14:57:53
|
---|
3![113 Some Useful Modula-3 Interfaces Jim Horning, Bill Kalsow, Paul McJones, Greg Nelson 113 Some Useful Modula-3 Interfaces Jim Horning, Bill Kalsow, Paul McJones, Greg Nelson](https://www.pdfsearch.io/img/ca207edef12929cc4709c820de9b35d2.jpg) | Add to Reading ListSource URL: www.hpl.hp.comLanguage: English - Date: 2002-11-26 16:19:58
|
---|
4![113 Some Useful Modula-3 Interfaces Jim Horning, Bill Kalsow, Paul McJones, Greg Nelson 113 Some Useful Modula-3 Interfaces Jim Horning, Bill Kalsow, Paul McJones, Greg Nelson](https://www.pdfsearch.io/img/a7b4e3ea98ff7ac04c9ed7927c60b0b1.jpg) | Add to Reading ListSource URL: www.eah-jena.deLanguage: English - Date: 2007-10-15 12:28:52
|
---|
5![113 Some Useful Modula-3 Interfaces Jim Horning, Bill Kalsow, Paul McJones, Greg Nelson 113 Some Useful Modula-3 Interfaces Jim Horning, Bill Kalsow, Paul McJones, Greg Nelson](https://www.pdfsearch.io/img/beb6c26c624086e1140e7f99828003e2.jpg) | Add to Reading ListSource URL: www.fh-jena.deLanguage: English - Date: 2007-10-15 12:28:52
|
---|
6![](https://www.pdfsearch.io/img/466af1f3ee30adb8a37c754282896118.jpg) | Add to Reading ListSource URL: apotheca.hpl.hp.comLanguage: English - Date: 1997-01-02 15:29:05
|
---|
7![](https://www.pdfsearch.io/img/91e1adbf7f75cdc4d3e3009aa14458f3.jpg) | Add to Reading ListSource URL: www.cs.cmu.eduLanguage: English - Date: 2006-03-30 10:46:04
|
---|