Re: proctype and procedure type checking fully implemented

[Nelson H. F. Beebe]

To track down the writings of Niklaus Wirth, feel free to
consult this extensive bibliography of his works, and works
by other about him:

        https://www.math.utah.edu/pub/bibnet/authors/w/wirth-niklaus.bib

Change .bib to .html in the filename for a view with live hyperlinks.

The essay in question might be the one at entry Wirth:1999:EP.

-------------------------------------------------------------------------------
- Nelson H. F. Beebe                    Tel: +1 801 581 5254                  -
- University of Utah                                                          -
- Department of Mathematics, 110 LCB    Internet e-mail: beebe@math.utah.edu  -
- 155 S 1400 E RM 233                       beebe@acm.org  beebe@computer.org -
- Salt Lake City, UT 84112-0090, USA    URL: http://www.math.utah.edu/~beebe/ -
-------------------------------------------------------------------------------