| Original language | English |
|---|---|
| Title of host publication | Formal Aspects of Computing |
| Subtitle of host publication | Essays Dedicated to Derrick Kourie on the Occasion of His 65th Birthday |
| Editors | Stefan Gruner , Bruce Watson |
| Place of Publication | Aachen, Germany |
| Publisher | Shaker Verlag GmbH |
| Chapter | 5 |
| Pages | 95-110 |
| ISBN (Print) | 9783844020687 |
| Publication status | Published - 13 Aug 2013 |
Publication series
| Name | Berichte aus de Informatik |
|---|