On the Algebra of the Structured Specifications

by Răzvan Diaconescu