Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!sdd.hp.com!hplabs!hpl-opus!hpcc05!hpcuhb!hpindda!collin
From: collin@hpindda.cup.hp.com (Collin Park)
Newsgroups: comp.specification
Subject: Re: VDM vs Z notation?
Message-ID: <48050003@hpindda.cup.hp.com>
Date: 5 Jun 91 17:24:05 GMT
References: <48050001@hpindda.cup.hp.com>
Organization: HP Information Networks, Cupertino, CA
Lines: 18

Stephen Gilmore writes:

> My PhD thesis is a critical evaluation of Z, VDM and algebraic
> specifications...
> [...]

> The details of the thesis are:

>             Title:   Correctness-Oriented Approaches to
>                      Software Development
>             Author:  Stephen Gilmore
>             Pages:   168
>             Report:  CST-76-91 (also ECS-LFCS-91-147)
>             Price:   8 pounds

For U.S. readers, Ms McKie will accept U.S. funds:  $16.00

-collin