F. Polack, SAZ: SSADM Version 4 and Z, in M. Frappier and H. Habrias eds, Software Specification Methods. An Overview Using a Case Study, Springer, 2000
R. Laleau and F. Polack, Metamodels for Static Conceptual Modelling of Information Systems, Workshop on Defining Precise Semantics of UML, ECOOP 2000, Sophia Antipolis, France.
Peter J Halls Fiona A C Polack & Simon E M O'Keefe, A new approach to the spatial analysis of temporal change using todes and neural nets, Cybergeo (The European Journal of Geography, http://www.cybergeo.presse.fr/), article 139, 2000
F. Polack, A Case Study using Lightweight Formalism to Review an Information System Specification, YCS327 Department of Computer Science, University of York, October 2000.
F. Polack and S. Stepney, System Development using Z Generics, FM99, Toulouse, France, LNCS 1708 and 1709 pp1048-1067, Springer Verlag, 1999
F. Polack, Questions raised in development with SAZ, Proceeding of the International Workshop on : Comparing Systems Specification Techniques, Nantes, France, March 1998