Data Structures of Pascal, Algol 68, PL/1 and Ada

by Lewi, Johan, Paredaens, Jan
Published 1986

Algebraic Specifications in Software Engineering : An Introduction

by Horebeek, Ivo Van, Lewi, Johan
Published 1989