Workshop on Specification of Abstract Data Types.Workshop on Specification of Abstract Data Types (8th : 1991 : France):Recent trends in data type specification.Springer,1993.
Workshop on Specification of Abstract Data Types.Workshop on Specification of Abstract Data Types (5th : 1987 : Scotland):Recent trends in data type specification : proceedings.Springer,1988.
Workshop on Specification of Abstact Data Type.Workshop on specification of Abstact Data Abstact (7th : 1990 : Germany):Recent trends in data type specification.Springer,1991.
K. H. Blasius,U. Hedtstuck,C. -R. Rollinger.Sorts and types in artificial intelligence:workshop, Eringerfeld, FRG, 1989: proceedings.Springer-Verlag,1990.
Shaheen Fatima, Loughborough University, UK, Sarit Kraus, Bar-Ilan University, Israel, Michael Wooldridge, University of Oxford, UK..Principles of automated negotiation /.,.