Reinhard Eppler Standard Type LIST for Imperative Languages. 56-61 1993 14 Structured Programming 2 db/journals/stp/stp14.html#Eppler93