LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO F.

(Heterogeneous) Structured Specifications in Logics Without Interpolation

Ewa Orlowska on Relational Methods in Logic and Computer Science

Año: 2018; p. 403 - 439

FRIAS, MARCELO FABIAN; BAUM, GABRIEL; HAEBERER, ARMANDO MARTIN

A Calculus for Program Construction based on Fork Algebras, Design Strategies and Generic Algorithms

Relational Methods for Computer Science Applications

Año: 2001; p. 37 - 56

HAEBERER, ARMANDO MARTIN; FRIAS, MARCELO FABIAN; BAUM, GABRIEL; VELOSO, PAULO AUGUSTO

Fork Algebras

Relational Methods in Computer Science

Año: 1997; p. 54 - 69