Path: utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!rutgers!apple!julius.cs.uiuc.edu!zaphod.mps.ohio-state.edu!van-bc!ubc-cs!alberta!naren From: naren@cs.UAlberta.CA (Narendra Ravi) Newsgroups: comp.theory Subject: Abstract Machines; References to ~ Keywords: Abstract Machines, Reports, Books Message-ID: Date: 29 Nov 90 14:37:15 GMT Sender: news@cs.UAlberta.CA (News Administrator) Distribution: comp Organization: University of Alberta, Edmonton, Alberta, Canada Lines: 25 Hi, I was reading the paper by Prof. J. R. Abrial in Math. of Prog. Construction, LNCS 375. In that paper he has three references: 1988, Abstract Machines: Basic Concepts 1988, Abstract Machines: Programming Concepts 1988, Abstract Machines: Refinement The author of the above is Prof. Abrial himself. Are these tech reports, or books? Could anyone please let me know where can they be obtained from? Please post or email. Naren. -- ======================================================================= * Narendra Ravi * 615, General Services Building, * * Email : naren@cs.ualberta.ca * Department of Computing Science * * : naren@alberta.UUCP * University of Alberta * * Tel : (403) 492-3520 (Off) * Edmonton, Alberta, CANADA T6G 2H1 * ======================================================================= Brought to you by Super Global Mega Corp .com