On Lamport's comparison between linear and branching time temporal logic Susanne Graf (1984) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
On schemata and L systems for parallel algorithms Georg Gati (1979) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
On the solution of optimal performance of page storage hierarchies with an independent reference string M. Arató, A. Benczúr, A. Krámli (1980) Banach Center Publications