J. Bendisposto, M. Leuschel, and M. Roggenbach, “Avocs2010 Preface”, ECEASST, vol. 35, Nov. 2011.