Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!munnari.oz.au!deakin.OZ.AU!cm.deakin.OZ.AU
From: cjc@cm.deakin.OZ.AU (Chris Coomber)
Newsgroups: comp.software-eng
Subject: executable specifications
Message-ID: <787@sol.deakin.OZ.AU>
Date: 22 Sep 90 06:26:33 GMT
Sender: news@deakin.OZ.AU
Organization: Dept. of Computing & Mathematics, Deakin University, Australia
Lines: 6


Does anyone have any books/papers on executable specifications?
If you do, could be please forward the references to me. Thanks.

Christopher Coomber
cjc@aragorn.cm.deakin.oz.au