Die Methode der schrittweisen Verfeinerung führte uns auf der Datenseite zu den strukturierten Datentypen und auf der Algorithmen-Seite zu den Prozeduren. Durch Parameterlisten werden Prozeduren zu einem flexiblen, wiederverwendbaren Konstrukt. Eine Prozedur lässt sich also, sofern sie nur allgemein genug geschrieben ist, in mehreren Programmen verwenden. Wiederverwendbarkeit von Prozeduren erfordert, dass keine Veränderung oder Verwendung globaler Grössen vorkommt, dass alle Parametertypen bekannt sind und dass die Prozeduren im verwendenden Programm neu übersetzt werden. Sowohl vom Schreiber der Prozedur als auch von ihrem Verwender wird also Programmierdisziplin gefordert, da eine Prozedur nicht immer unabhängig von ihrer Umgebung ist. Diese Schwächen werden durch Module beseitigt, die noch die wertvolle Eigenschaft mitbringen, die Zerlegbarkeit (Modularisierung) des Programms in Einzelteile.