| Preprint | |
| Report number | RAL-86-010 |
| Title | ERIL - equational reasoning : an interactive laboratory |
| Author(s) | Dick, A J J |
| Publication | 1985 |
| Imprint | 1985 |
| Number of pages | 34 |
| Subject category | Computing and Computers |
Registre creat el 1990-01-29, darrera modificació el 2014-12-15
