thanks for the Polish works in theoretical programming, hope for meeting in Warsaw at the IFIP working conference