Advanced Seminar on Foundations of Innovative Software Development
Monografia (1987) Vol. 1: Advanced seminar on foundations of innovative software development I and Colloquium on trees in algebra and programming (CAAP '87)
Monografia (1987) Vol. 2: Advanced seminar on foundations of innovative software development II and Colloquium on functional and logic programming and specifications (CFLP)