Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!dali.cs.montana.edu!uakari.primate.wisc.edu!crdgw1!uunet!bellcore!porthos!taichi!haim
From: haim@taichi.uucp (24122-Haim Kilov(L028)m000)
Newsgroups: comp.databases
Subject: Re: Applications of Temporal Integrity Constraints
Keywords: logical integrity
Message-ID: <1991May7.201308.20896@porthos.cc.bellcore.com>
Date: 7 May 91 20:13:08 GMT
References: <1991May6.205114.4386@maverick.ksu.ksu.edu>
Sender: netnews@porthos.cc.bellcore.com (USENET System Software)
Reply-To: haim@taichi.UUCP (24122-Haim Kilov)
Organization: Bellcore, Livingston, NJ
Lines: 11


You may want to look into Object Z -- an extension of Z developed at the
University of Queensland (Australia). They had recently published a TR 91-1
"The Object Z Specification Language - Version 1". 
The author is Roger Duke (and coauthors), the email address (from the cover)
is fmg@cs.uq.oz.au.

Hope this helps.

-Haim Kilov 
haim@bcr.cc.bellcore.com