Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) 
          id <25174-0@swan.cl.cam.ac.uk>; Wed, 15 Apr 1992 11:38:29 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA05549;
          Wed, 15 Apr 92 03:28:18 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from eros.uknet.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA05545;
          Wed, 15 Apr 92 03:28:08 -0700
X400-Received: by mta eros.uknet.ac.uk in /PRMD=UK.AC/ADMD=GOLD 400/C=GB/;
               Relayed; Wed, 15 Apr 1992 11:25:54 +0100
X400-Received: by /PRMD=icl/ADMD=gold 400/C=GB/; converted (ia5); Relayed;
               Wed, 15 Apr 1992 10:46:03 +0100
Date: Wed, 15 Apr 1992 10:46:03 +0100
X400-Originator: I.C.L.Hol@uucp.win0109
X400-Mts-Identifier: [/PRMD=icl/ADMD=gold 400/C=GB/;win0109 0000013400000053]
Original-Encoded-Information-Types: undefined
X400-Content-Type: P2-1984 (2)
Content-Identifier: 53
From: I.C.L.Hol@uucp.win0109
Message-Id: <"53*/I=ICL/S=Hol/OU=win0109/O=icl/PRMD=icl/ADMD=gold 400/C=GB/"@MHS>
To: info-hol@edu.uidaho.cs.ted, zforum-request@uk.ac.ox.prg
Subject: formal treatment of PLCs

Does anyone know of any work that has been done on the use of
HOL or Z in the development of applications for Programmable
Logic Controllers?

Roger Jones, International Computers Limited
R.B.Jones@win0109.wins.icl.co.uk