- CSB - MetaPress - Google - Bing - Yahoo
 | 1998 | |
|---|---|---|
| 1 |      | Martin Neil, Gary Ostrolenk, Mary Tobin, Mark Southworth: Lessons from Using Z to Specify a Software Tool. IEEE Trans. Software Eng. 24(1): 15-23 (1998) |
| 1 | Martin Neil | [1] |
| 2 | Mark Southworth | [1] |
| 3 | Mary Tobin | [1] |