Recent Trends in Data Type Specification 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers Kreowski Hans-Jorg Heftet / 1986 / Engelsk
Categorical Methods in Computer Science With Aspects from Topology Ehrig Hartmut Heftet / 1989 / Engelsk
