🚀 go-pugleaf

Dear Cliff,
Please can you place the following on comp.specification newsgroup
(I hope this time to have put in all the necessary information).
Thanks,
Graeme I Parkin.
------------Item for comp.specification------------------------


VDM LaTeX macros
~~~~~~~~~~~~~~~~

Work is being done by the British Standards Institution (BSI) to produce a
standard version of VDM (Vienna Development Method) which is expected
then to become an International Organization for Standardization (ISO)
standard.

There now exist a set of LaTeX macros for VDM which correspond to the 
emerging standard for VDM. They implement the syntax of the developing 
BSI standard VDM Specification Language, described in document:
    VDM Specification Language, Proto-Standard, BSI IST/5/19,
    29 March 1990 (Document No: 181). Obtainable from: D Andrews, 
    Department of Computing Studies, University of Leicester,
    University Road, Leicester, LE1 7RH.

They were written at the National Physical Laboratory where they are now
being updated and maintained.

They come in three files:
   vdmsl.tex: Manual on their use. This at the moment needs more
	      explanation and examples. A new version will be ready
	      by January 1991.
   vdmsl.sty: This is the VDMSL macros (or style file).
   vdmsl.doc: Identical to vdmsl.sty except has comments explaining
	      the macros.

Please note that you will need a large version of TeX to
use the macros in any serious way. You should be able to get the
documentation compiled on most implementations of TeX.

To obtain:
  e-mail: info-server@seg.npl.co.uk
  With the following content of the message:

    request: latex
    topic: vdmsl.sty
    topic: vdmsl.tex
    topic: vdmsl.doc

  Note that vdmsl.doc and vdmsl.tex are sent in two parts.

  To check for version number:
  e-mail: info-server@seg.npl.co.uk
  With the following content of the message:

     request: latex
     topic: version vdmsl

If there are any comments or problems then please contact either:
  Graeme I Parkin: gip@seg.npl.co.uk or
  Nick North: ndn@seg.npl.co.uk