1. Software technology in the 1990s: using a new paradigm;Balzer;IEEE Computer,1983
2. Software engineering economics;Boehm,1981
3. Verifying and validating software requirements and design specification;Boehm;IEEE Software,1984
4. PDL - a tool for software design;Caine;AFIPS Conf. Proc.,1976
5. Dansk Automationsselskabs Konference (1982). Specifikation og programmering af sekvensstyringer. 31.3.1982.