An Extension of propositional logic by algorithmic concepts. - Kroeger, F. (TU, 1974)