Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cornell!uw-beaver!uw-june!pattis
From: pattis@cs.washington.edu (Richard Pattis)
Newsgroups: comp.lang.misc
Subject: Re: Kamin: Programing Languages - An Interpreter-Based Approach
Message-ID: <10371@june.cs.washington.edu>
Date: 14 Jan 90 05:42:18 GMT
References: <10367@june.cs.washington.edu> <10369@june.cs.washington.edu>
Organization: U of Washington, Computer Science, Seattle
Lines: 12
Keywords: Interpreters
Summary: Correction

In article <10369@june.cs.washington.edu>, pattis@cs.washington.edu (Richard Pattis) writes:
> Dijkstra, Scholten: Predicate Calculus and Program Semantics,
> Sprintger-Verlag, ISBN 0-3-96957-8
> 
> Manna, Waldinger: The Logical Basis for Computer Programming II,
> Addison-Wesley, ISBN 0-201-18261-0

First book should be: Springer-Verlag, ISBN 0-387-96957-8.

I posted this informatin because I started getting lots of requests.

Rich Pattis