Logik der Programmierung - Dreehsen, Heinz-Gerd 1956- (VDE-Verl., 1995)