Logical theory for program construction Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109) - Finance, Jean-Pierre; Jahnichen, Stefan; Loeckx, Jacques 1931-