Monografia (1987) Vol. 2: Advanced seminar on foundations of innovative software development II and Colloquium on functional and logic programming and specifications (CFLP)