Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!usc!snorkelwacker!bloom-beacon!eru!luth!sunic!tut!kuukkeli!hmj
From: hmj@kuukkeli.tut.fi (J{rvinen Hannu-Matti)
Newsgroups: comp.specification
Subject: Re: Proof rules for angelic choice?
Keywords: Hoare logic, verification
Message-ID: <1990Jun28.064022.13850@funet.fi>
Date: 28 Jun 90 06:40:22 GMT
References: <2103@dino.cs.iastate.edu> <4106@uqcspe.cs.uq.oz.au>
Sender: news@funet.fi (#News )
Reply-To: hmj@kuukkeli.tut.fi (J{rvinen Hannu-Matti)
Distribution: comp
Organization: Tampere University of Technology, Finland
Lines: 32

In article <4106@uqcspe.cs.uq.oz.au> brendan@batserver.cs.uq.oz.au writes:
>leavens@cs.iastate.edu (Gary Leavens) writes:
>For more information I suggest you read:
>
>@techreport{Back:RefCal,
>	Author = "R. J. R. Back and J. {von Wright}",
>	title = "Refinement Calculus, Part {I}: Sequential Nondeterministic Programs",
>	institution = {Institute f\"{o}r
>	Informationsbehandling, Lemmink\"{a}inengatan},
>	type = {Technical Report},
>	number = {Ser. A, No 92},
>	year = 1989
>}

The Institution line is not complete, and seems to be in Swedish
(although in Finland, Swedish is used in Abo Akademi). The 
complete English version is:
Abo Akademi University,
Department of Computer Science,
Lemmink{inengatan 14,
20520 Abo,
Finland
({ is a with two dots, i.e., a diaresis or "umlaut a")

You may also be interested in the second part:
R. J. R. Back, Refinement Calculus, Part II, Parallel and Reactive Programs


-----
Hannu-Matti Jarvinen, hmj@tut.fi
Opinions of tut != opinions of mine, and vice versa.
TTKK on samaa mielt{ kanssani siit{, ett{ en edusta sen mielipidett{.