| |
| | Fiona Polack's Publications page at UoY CS |
 | | Amalio and F. Polack, Comparison of formalisation approaches of {UML} class constructs in Z and Object-Z, Proceedings, ZB 20003, Turku, Finland. |
 | | Stepney, F. Polack and I. Toyn, An outline pattern language for Z: five illustrations and two tables, Proceedings, ZB 20003, Turku, Finland. |
 | | Polack, Exploring the informal translation of OMT object models in B, Technical Report, YCS-2003-351, University of York Department of Computer Science. |
| www-users.cs.york.ac.uk /~fiona/PUBS/recent.html (839 words) |
|