|
| @INCOLLECTION{mmf75b, | | | author={M.M. Fokkinga}, | | | title={Recursieve procedures en eenvoudige inductie asserties}, | | | booktitle={Colloquium Programmacorrectheid}, | | | publisher={Mathematical Centre}, | | | year=1975, | | | editor={J.W. de Bakker}, | | | volume={21}, | | | series={Mathematical Centre Syllabus}, | | | pages={151--165}, | | | address={Amsterdam, The Netherlands}, | | | note={ISBN=90-6196-103-3}, | | } |
|
|
