Logic and algebra of specification
Bauer, Friedrich L
Logic and algebra of specification - Berlin Springer-Verlag 1993 - 442 p.
515.3 B326L
Logic and algebra of specification - Berlin Springer-Verlag 1993 - 442 p.
515.3 B326L