P. Lescanne · 2 obras en el catálogoObrasAlgebraic system specification and developmentAlgebraic and Logic Programming