| |
| 1997 | ||
|---|---|---|
| 2 | Mark d'Inverno, Mark Priestley, Michael Luck: Formal framework for hypertext systems. IEE Proceedings - Software 144(3): 175-184 (1997) | |
| 1995 | ||
| 1 | Mark d'Inverno, Mark Priestley: Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. ZUM 1995: 83-102 | |
| 1 | Michael Luck | [2] |
| 2 | Mark d'Inverno | [1] [2] |