@ARTICLE\{IMM1981-01776,
    author       = "J. Steensgaard-Madsen",
    title        = "Modular Programming with Pascal",
    year         = "1981",
    month        = "dec",
    keywords     = "programming languages, stepwise refinement, information hiding,  data abstraction",
    pages        = "1331-1337",
    journal      = "Software - Practice and Experience",
    volume       = "11",
    editor       = "",
    number       = "12",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1776-full.html",
    abstract     = "A technique is presented by which the programming language  Pascal, as defined by the expected standard, can be used to write  programs divided into modules containing mutually hidden  information. The technique fits nicely with the programming by  stepwise refinement methodology, combines top-down and bottom-up  methods, and illustrates that stepwise refinement does not  necessarily lead to simple tree-like programs. Limitations for the  application of the technique with Pascal are pointed out."
}