🚀 go-pugleaf

I have been asked by e-mail for the Table of Contents of the first
Volume of this journal:



CONTENTS

Volume 1, Number 1, January-March 1989

Editorial
Cliff Jones						1

Development Methods for Trusted Computer Systems
Martyn Thomas						5

Do-It-Yourself Type Theory
Roland Backhouse, Paul Chisholm, Grant Malcolm		19
and Erik Saaman

The RAISE Language, Methods and Tools
Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner	85
and Chris George

VVSL: A Language for Structured VDM Specifications
C A Middelburg						115

Book Reviews



CONTENTS

Volume 1, Number 2, April-June 1989


Editorial
John Cooke						145

Specifying the Apple Macintosh Toolbox Event Manager
C T Burton, S J Cook, S Gikas, J R Rowson 		147
and S T Sommerville

Program Development in the Constructive Set Theory TK	173
Martin C Henson

Meta-interpreters and Partial Evaluation in Parlog	193
Mathew Huntbach



CONTENTS

Volume 1, Number 3, July-September 1989


Event Fairness and Non-Interleaving Concurrency
Marta Z Kwiatkowska					213

Process Simulation and Refinement
He Jifeng						229

A Refinement Calculus for Specifications in
Hennessy-Milner Logic
Soren Holmstrom						242

Automated Analysis of Mutual Exclusion Algorithms
using CCS
D J Walker						273

Book Reviews						293



CONTENTS

Volume 1, Number 4, October-December 1989


A Functional Programming Approach to the Specification
and Verification of Concurrent Systems
Peter Dybjer and Herbert P Sander			303

Term Rewriting and Beyond - Theorem Proving in
ISabelle
Tobias Nipkow						320

A Logic for Miranda
Simon Thompson						339

Issues in the Design of a Parallel Object-Oriented
Language
Pierre America						366

Book Reviews						412

Author Index						417