LOGICS OF PROGRAMS: PROCEEDINGS OF WORKSHOP,1981 - KOZEN,DEXTER (ED) (SV BERLIN, 1982)