Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications. The papers presented in this book descr

For Stirling engines to enjoy widespread application and acceptance, not only must the fundamental operation of such engines be widely understood, but the requi

This volume contains the invited paper, the reviewed research papers, the discussants' comments on the latter, and the workshop memoranda of the fourth IFIP WG