| 000 | 00417pam a2200145a 44500 | ||
|---|---|---|---|
| 008 | 160408b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0521404363 | ||
| 082 |
_a005.1 _bH465P |
||
| 100 | _aHesselink, Wim H | ||
| 245 | 1 |
_aPROGRAMS, RECURSION AND UNBOUNDED CHOICE _cPREDICATE-TRANSFORMATION SEMANTICS AND TRANSFORMATION RULES |
|
| 260 |
_a _b _c |
||
| 650 | _aComputer Programs | ||
| 964 | _gCIRC | ||
| 997 | _aA114188 C | ||
| 999 |
_c316942 _d316942 |
||