Recent Trends in Data Type Specification Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers Sannella Donald Heftet / 1988 / Engelsk
Programming Languages and Systems - ESOP '94 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings Sannella Donald Heftet / 1994 / Engelsk
Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers Montanari Ugo Heftet / 2007 / Engelsk
Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II Italiano Giuseppe F. Heftet / 2015 / Engelsk
Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I Italiano, Giuseppe F Heftet / 2015 / Engelsk
Algebraic System Specification and Development A Survey and Annotated Bibliography Bidoit Michel Heftet / 1991 / Engelsk
Foundations of Algebraic Specification and Formal Software Development Sannella Donald Innbundet / 2011 / Engelsk
Foundations of Algebraic Specification and Formal Software Development Sannella Donald Heftet / 2014 / Engelsk
