1
Theory and Applications of Relational Structures as Knowledge Instruments II [E-Book] / International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
2
Theoretical Foundations of Programming Methodology [E-Book] : Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare /