Hans-Dieter Ehrich (erhlich-hd)

Contributions to Philosophie.ch

Bibliography

Loeckx, Jacques, Ehrich, Hans-Dieter and Wolf, Markus. 1996. Specification of Abstract Data Types. Hoboken, New Jersey: John Wiley; Sons, Inc.
Loeckx, Jacques, Ehrich, Hans-Dieter and Wolf, Markus. 2000. “Algebraic Specification of Abstract Data Types.” in Handbook of Logic in Computer Science. Volume 5. Logic and Algebraic Methods, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 217–395. Oxford: Oxford University Press.