Logics of programs and their applications : PROCEEDINGS, POZNAN, AUGUST 23-29, 1980. (Springer Verlag, 1983)