%0
Generic
%T
The clean termination of iterative programs
%A Blikle, Andrzej
%I Springer Science and Business Media LLC
%@ 0001-5903
%@ 1432-0525
%K Computer Networks and Communications
%K Information Systems
%K Software
%D 1981
%C Springer Science and Business Media LLC
%U http://slubdd.de/katalog?TN_libero_mab2