P. Baldan, H. Ehrig, J. Padberg, and G. Rozenberg, “Foreword”, eceasst, vol. 2, May 2007.