A Scheme of Storage Allocation and Garbage Collection for Algol 68. - Paul Branquart; Johan Lewi (ALGOL 68 Implementation, 1970)

Analysis of the Parenthesis Structure of Algol 68. - Paul Branquart; Johan Lewi; Jean-Pierre Cardinael (ALGOL 68 Implementation, 1970)

The Composition of Semantics in Algol 68. - Paul Branquart; Johan Lewi; Michel Sintzoff; Pierre L. Wodon (Commun. ACM, 1971)

A Context-Free Syntax of ALGOL 68. - Paul Branquart; Jean-Pierre Cardinael; Jean-Paul Delescaille; Johan Lewi (Inf. Process. Lett., 1972)

A simple translation automaton allowing the generation of optimized code. - Paul Branquart; Jean-Pierre Cardinael; Johan Lewi; Jean-Paul Delescaille; Michael Van Begin (Methods of Algorithmic Language Implementation, 1975)

SLS/1: A Translator Writing System. - Johan Lewi; Karel De Vlaminck; J. Huens; Peter Mertens (GI Jahrestagung, 1975)

An Optimized Translation Process and Its Application to ALGOL 68 - Paul Branquart; Jean-Pierre Cardinael; Johan Lewi; Jean-Paul Delescaille; Michael Van Begin (Springer, 1976)

Project LILA. The ELL(1) Generator of LILA, an Introduction. - Johan Lewi; Karel De Vlaminck; J. Huens; M. Huybrechts (International Computing Symposium, 1977)

The ELL(1) Parser Generator and the Error Recovery Mechanism. - Johan Lewi; Karel De Vlaminck; J. Huens; M. Huybrechts (Acta Informatica, 1978)

Construction of an ELL(1) syntax analyser for Ada with the compiler-generator LILA. - Dirk Craeynest; Geert Vansteenkiste; Johan Lewi (ACM SIGPLAN Notices, 1984)

The algebraic data type specification language. - Luc Duponcheel; Jurgen Heyman; Willy Van Puymbroeck; Johan Lewi; Ivo Van Horebeek (Microprocess. Microprogramming, 1987)

An Exception Handling Method for Constructive Algebraic Specifications. - Ivo Van Horebeek; Johan Lewi; Eddi Bevers; Luc Duponcheel; Willy Van Puymbroeck (Softw. Pract. Exp., 1988)

Proof by Consistency in Conditional Equational Theories. - Eddy Bevers; Johan Lewi (CTRS, 1990)

Are constructive formal specifications less abstract? - Ivo Van Horebeek; Johan Lewi (ACM SIGPLAN Notices, 1990)

A Linear Algorithm for Solving Fixed-Point Equations on Transition Systems. - Bart Vergauwen; Johan Lewi (CAAP, 1992)

Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language. - Bart Vergauwen; Johan Lewi (ICCI, 1992)

EROOS: An Entity-Relationship Based OO Specification Method. - Stefan Van Baelen; Johan Lewi; Eric Steegmans; Helena Van Riel (TOOLS (7), 1992)

Generation of Interactive Parsers With Error Handling. - Eric Steegmans; Johan Lewi; Ivo Van Horebeek (IEEE Trans. Software Eng., 1992)

A Linear Local Model Checking Algorithm for CTL. - Bart Vergauwen; Johan Lewi (CONCUR, 1993)

Constraints in Object-Oriented Analysis. - Stefan Van Baelen; Johan Lewi; Eric Steegmans; Bart Swennen (ISOTAS, 1993)

Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach. - Eddy Bevers; Johan Lewi (Acta Informatica, 1993)

Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems. - Bart Vergauwen; Johan Lewi (ICALP, 1994)

Efficient Computation of Nested Fix-Points, with Applications to Model Checking. - Bart Vergauwen; Johan Lewi; I. Avau; A. Poté (ICTL, 1994)

Efficient FixPoint Computation. - Bart Vergauwen; J. Wauman; Johan Lewi (SAS, 1994)

Constraints in Object-Oriented Analysis and Design. - Stefan Van Baelen; Johan Lewi; Eric Steegmans (TOOLS (13), 1994)