Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories.