Bernd Krieg-Brückner Foreword: Selected Papers of ESOP'92. 181-182 1994 22 Sci. Comput. Program. 3 db/journals/scp/scp22.html#Krieg-Bruckner94