Path: utzoo!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!goya!turia.dit.upm.es!jallende From: jallende@turia.dit.upm.es Newsgroups: comp.graphics Subject: Formal Description, CMU Tech. Rep wanted. Message-ID: <1991Mar05.094022.26040@dit.upm.es> Date: 5 Mar 91 09:40:22 GMT Sender: @dit.upm.es Reply-To: jallende@turia.dit.upm.es () Organization: Dept. Ingenieria de Sistemas Telematicos, dit, upm, Madrid, Spain Lines: 23 Nntp-Posting-Host: turia.dit.upm.es Hi, I'm looking for some information. Any pointers will be greatly appreciated. 1.- Is there any reference I could look for formal descriptions of grafical representations, like Petri nets, Module interconnection language, Data flow diagram, Entity Relationship diagram, etc..? 2.- Does somebody know how to get a copy of a technical report from Carnegie Mellon? I'm looking for: Authors: A. N. Habermann, C. Krueger, B. Pierce, ... Title: "Programming with views" Tech. Rep.: CMU-CS-87-177 Jan 1988. Thanks in advance for your help. jallende@dit.upm.es