M. Bidoit · 4 obras en el catálogoObrasAlgebraic system specification and developmentSSystems and Software VerificationSystems and Software VerificationAAlgebraic System Specification and DevelopmentAlgebraic System Specification and DevelopmentRRecent Trends in Data Type SpecificationRecent Trends in Data Type Specification