Proceedings on logics of programs and their applications/lecture notes in computer science (148) - Salwicki A Ed. (Berlin Springer Verlag, 1983)