Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!usc!elroy.jpl.nasa.gov!ucla-cs!swu
From: swu@oahu.cs.ucla.edu
Newsgroups: comp.software-eng
Subject: a LATEX's macro wanted
Message-ID: <25747@shemp.CS.UCLA.EDU>
Date: 14 Jul 89 03:58:08 GMT
Sender: news@CS.UCLA.EDU
Reply-To: swu@CS.UCLA.EDU (Chi-Sharn Wu)
Organization: UCLA Computer Science Department
Lines: 7


Could anyone tell me where I can get a LATEX's macro set for writing
a VDM specification document ?  Thanks in advance.


Chi-Sharn Wu
e-mail address : swu@cs.ucla.edu