cjc@cm.deakin.OZ.AU (Chris Coomber) (09/22/90)
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