[comp.software-eng] a LATEX's macro wanted

swu@oahu.cs.ucla.edu (07/14/89)

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

leichter@CS.YALE.EDU (Jerry Leichter) (07/15/89)

In article <25747@shemp.CS.UCLA.EDU>, swu@oahu.cs.ucla.edu writes...
> 
>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

A macro package for VDM, with what appears to be extensive documentation, is
available from the LaTeX style file collection at Clarkson.  I've never used
it - or VDM, for that matter - so can't comment on it.

							-- Jerry