Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!mailrus!ames!rex!rouge!gator.cacs.usl.edu
From: pcb@gator.cacs.usl.edu (Peter C. Bahrs)
Newsgroups: comp.graphics
Subject: References Wanted
Message-ID: <9248@rouge.usl.edu>
Date: 31 May 90 19:09:54 GMT
Sender: anon@rouge.usl.edu
Organization: The Center for Advanced Computer Studies, USL
Lines: 14


I am looking for references to Formal Specifications for graphics
algorigthms and/or systems.  Hopefully, some axiomatic based
proof systems.


/*----------- Thanks in advance... --------------------------------------+
| Peter C. Bahrs                                                         |
| The USL-NASA Project                                                   |
| Center For Advanced Computer Studies      INET: pcb@gator.cacs.usl.edu |
| 2 Rex Street                                                           |
| University of Southwestern Louisiana      ...!uunet!dalsqnt!gator!pcb  | 
| Lafayette, LA 70504                                                    |
+-----------------------------------------------------------------------*/