Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!tut.cis.ohio-state.edu!sei!fs7.ece.cmu.edu!o.gp.cs.cmu.edu!andrew.cmu.edu!<UNAUTHENTICATED>+
From: Paul.Kram@cs.cmu.edu
Newsgroups: comp.specification
Subject: Object-Z ?
Message-ID: <0blj6lq00h5KECCUNI@cs.cmu.edu>
Date: 23 Feb 91 22:50:25 GMT
Organization: Carnegie Mellon, Pittsburgh, PA
Lines: 5


I'm looking for information about Object-Z
(an object oriented extension to Z).
I don't know anything except that it exists.
All pointers appreciated...


Brought to you by Super Global Mega Corp .com