Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2–4, 1998. (English) Zbl 0978.00029
Studies in Logic and Computation. 7. Baldock: Research Studies Press. xiv, 407 p. (2000).