default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFiona A. C. Polack
Fiona Polack
Person information
- affiliation: University of York, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j21]Steffen Zschaler
, Fiona A. C. Polack:
Trustworthy agent-based simulation: the case for domain-specific modelling languages. Softw. Syst. Model. 22(2): 455-470 (2023)- [c89]Fiona Polack, Hugo Bruneliere:
Doctoral Symposium. MoDELS (Companion) 2023: 138-139 - 2022
- [j20]Matt Grove, Lucy Timbrell, Ben P. Jolley, Fiona Polack, James M. Borg:
The Importance of Noise Colour in Simulations of Evolutionary Systems. Artif. Life 27(3-4): 164-182 (2022) - [j19]Richard F. Paige, Fiona A. C. Polack, Steffen Zschaler, Thomas Chiang, Nicholas Annable:
Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models. J. Object Technol. 21(4): 4:1-13 (2022) - [i2]Zhong Fan, Jun Cao, Taskin Jamal, Chris Fogwill, Cephas Samende, Zoe Robinson, Fiona Polack, Mark Ormerod, Sharon George, Adam Peacock, David Healey:
The role of living laboratories in unlocking the potential of low-carbon energy technologies on the journey to net-zero. CoRR abs/2204.00293 (2022) - 2021
- [p1]Simona Bernardi, Michalis Famelis, Jean-Marc Jézéquel, Raffaela Mirandola, Diego Perez-Palacin, Fiona A. C. Polack, Catia Trubiani:
Living with Uncertainty in Model-Based Development. Composing Model-Based Analysis Tools 2021: 159-185 - 2020
- [j18]Fiona Polack, Steffen Zschaler:
Report on Workshop: Planning the Future of Agent Simulation. Artif. Life 26(2): 307-313 (2020) - [j17]Fiona Polack, Kieran Alden:
On Developing and Validating Dynamic Systems: Simulation Engineering. J. Object Technol. 19(3): 3:1-13 (2020) - [c88]Matt Grove, James M. Borg, Fiona Polack:
Coloured noise time series as appropriate models for environmental variation in artificial evolutionary systems. ALIFE 2020: 292-299 - [c87]Steffen Zschaler, Fiona A. C. Polack:
A family of languages for trustworthy agent-based simulation. SLE 2020: 16-21 - [i1]Matt Grove, James M. Borg, Fiona Polack:
Coloured noise time series as appropriate models for environmental variation in artificial evolutionary systems. CoRR abs/2006.16204 (2020)
2010 – 2019
- 2019
- [j16]Alfa Yohannis, Rodriguez Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos:
Towards Efficient Comparison of Change-Based Models. J. Object Technol. 18(2): 7:1-21 (2019) - [e4]Loli Burgueño, Alexander Pretschner, Sebastian Voss, Michel Chaudron, Jörg Kienzle, Markus Völter, Sébastien Gérard, Mansooreh Zahedi, Erwan Bousse, Arend Rensink, Fiona Polack, Gregor Engels, Gerti Kappel:
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019. IEEE 2019, ISBN 978-1-7281-5125-0 [contents] - 2018
- [b1]Susan Stepney, Fiona A. C. Polack:
Engineering Simulations as Scientific Instruments: A Pattern Language. Springer 2018, ISBN 978-3-030-01937-2, pp. 3-324 - [c86]Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos:
Towards Efficient Loading of Change-Based Models. ECMFA 2018: 235-250 - [c85]Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos:
Towards Hybrid Model Persistence. MoDELS (Workshops) 2018: 594-603 - 2017
- [j15]Yujie Chen, Peter I. Cowling, Fiona Polack, Stephen Remde, Philip Mourdjis:
Dynamic optimisation of preventative and corrective maintenance schedules for a large scale urban drainage system. Eur. J. Oper. Res. 257(2): 494-510 (2017) - [c84]Alfa Yohannis, Dimitris S. Kolovos, Fiona Polack:
Turning Models Inside Out. MoDELS (Satellite Events) 2017: 430-434 - 2016
- [c83]Yujie Chen, Philip Mourdjis, Fiona A. C. Polack, Peter I. Cowling, Stephen Remde:
Evaluating Hyperheuristics and Local Search Operators for Periodic Routing Problems. EvoCOP 2016: 104-120 - [c82]Philip Mourdjis, Yujie Chen, Fiona A. C. Polack, Peter I. Cowling, Martin Robinson:
Variable Neighbourhood Descent with Memory: A Hybrid Metaheuristic for Supermarket Resupply. HM 2016: 32-46 - [c81]Philip Mourdjis, Fiona Polack, Peter I. Cowling, Yujie Chen, Martin Robinson:
Competition and Cooperation in Pickup and Multiple Delivery Problems. ICORES (Selected Papers) 2016: 142-160 - [c80]Yujie Chen, Fiona Polack, Peter I. Cowling, Philip Mourdjis, Stephen Remde:
Exploring Techniques to Improve Large-Scale Drainage System Maintenance Scheduling Using a Risk Driven Model. ICORES (Selected Papers) 2016: 161-179 - [c79]Yujie Chen, Fiona Polack, Peter I. Cowling, Stephen Remde:
A Comparison of One-Pass and Bi-directional Approaches Applied to Large-Scale Road Inspection. ICORES (Selected Papers) 2016: 180-200 - [c78]Philip Mourdjis, Fiona Polack, Peter I. Cowling, Yujie Chen, Martin Robinson:
The Effect of Cooperation in Pickup and Multiple Delivery Problems. ICORES 2016: 287-295 - [c77]Yujie Chen, Fiona Polack, Peter I. Cowling, Philip Mourdjis, Stephen Remde:
Risk Driven Analysis of Maintenance for a Large-scale Drainage System. ICORES 2016: 296-303 - [c76]Yujie Chen, Peter I. Cowling, Stephen Remde, Fiona Polack:
Efficient Large-scale Road Inspection Routing. ICORES 2016: 304-312 - 2015
- [j14]Fiona Polack:
Filling gaps in simulation of complex systems: the background and motivation for CoSMoS. Nat. Comput. 14(1): 49-62 (2015) - [j13]Fiona Polack, Alastair P. Droop:
Principled simulation of cell proliferation dynamics using the CoSMoS approach. Nat. Comput. 14(1): 63-82 (2015) - [c75]Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack, Louis M. Rose:
Evaluating Student Work in Modelling Courses. EduSymp@MoDELS 2015: 68-76 - [e3]Paul S. Andrews, Leo S. D. Caves, René Doursat, Simon J. Hickinbotham, Fiona A. C. Polack, Susan Stepney, Tim Taylor, Jon Timmis:
Proceedings of the Thirteenth European Conference Artificial Life, ECAL 2015, York, UK, July 20-24, 2015. MIT Press 2015, ISBN 978-0-262-33027-5 [contents] - 2014
- [j12]Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack:
A tutorial on metamodelling for grammar researchers. Sci. Comput. Program. 96: 396-416 (2014) - [j11]Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack, Simon M. Poulding:
Epsilon Flock: a model migration language. Softw. Syst. Model. 13(2): 735-755 (2014) - [c74]Richard F. Paige, Fiona A. C. Polack, Dimitrios S. Kolovos, Louis M. Rose, Nicholas Drivalos Matragkas, James R. Williams:
Bad Modelling Teaching Practices. EduSymp@MoDELS 2014: 1-12 - 2013
- [j10]Philippe Collard, Salma Mesmoudi, Teodor Ghetiu, Fiona Polack:
Emergence of Frontiers in Networked Schelling Segregationist Models. Complex Syst. 22(1) (2013) - [j9]Ipek Caliskanelli, James Harbin, Leandro Soares Indrusiak, Paul D. Mitchell, Fiona Polack, David Chesmore:
Bioinspired Load Balancing in Large-Scale WSNs Using Pheromone Signalling. Int. J. Distributed Sens. Networks 9 (2013) - [c73]Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack:
Scenario-based modeling to capture requirements for immune inspired profile adaptation. CITA 2013: 1-6 - [c72]Paul N. Taylor, Fiona Polack, Jon Timmis:
Accelerating Immunos 99. ECAL 2013: 893-898 - [c71]James R. Williams, Athanasios Zolotas, Nicholas Drivalos Matragkas, Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
What do Metamodels Really Look Like? EESSMod@MoDELS 2013: 55-60 - [c70]James R. Williams, Simon M. Poulding, Richard F. Paige, Fiona Polack:
Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour. Models@run.time 2013: 76-88 - 2012
- [c69]Fiona A. C. Polack:
Choosing and adapting design notations in the principled development of complex systems simulations for research. MOTPW@MoDELS 2012: 6:1-6:6 - [c68]James R. Williams, Richard F. Paige, Fiona A. C. Polack:
Searching for model migration strategies. ME@MoDELS 2012: 39-44 - [c67]James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack:
Sensitivity Analysis in Model-Driven Engineering. MoDELS 2012: 743-758 - [c66]Ipek Caliskanelli, James Harbin, Leandro Soares Indrusiak, Paul D. Mitchell, David Chesmore, Fiona Polack:
Runtime optimisation in WSNs for load balancing using pheromone signalling. NESEA 2012: 1-8 - [c65]Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack:
Metamodelling for Grammarware Researchers. SLE 2012: 64-82 - 2011
- [c64]Nurulhuda Firdaus Mohd Azmi, Fiona Polack, Jon Timmis:
Immune Inspired Adaptive Information Filtering: Focusing on Profile Adaptation. BIONETICS 2011: 242-247 - [c63]James R. Williams, Dimitrios S. Kolovos, Fiona A. C. Polack, Richard F. Paige:
Requirements for a model comparison language. IWMCP@ICMT 2011: 26-29 - [c62]James R. Williams, Simon M. Poulding, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack:
Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels. SSBSE 2011: 112-126 - [c61]Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case. TTC 2011: 332-339 - 2010
- [c60]James R. Williams, Fiona A. C. Polack, Richard F. Paige:
Formal Analysis in Model Management: Exploiting the Power of CZT. ASM 2010: 414 - [c59]Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige:
Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems. CENTERIS (1) 2010: 62-70 - [c58]Louis M. Rose, Dimitrios S. Kolovos, Nikolaos Drivalos, James R. Williams, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes:
Concordance: A Framework for Managing Model Integrity. ECMFA 2010: 245-260 - [c57]Fiona A. C. Polack, Paul S. Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis, Adam T. Sampson:
Reflections on the Simulation of Complex Systems for Science. ICECCS 2010: 276-285 - [c56]Teodor Ghetiu, Fiona A. C. Polack, James L. Bown:
In Search of Sound 'in silico' Research - Validating a Complex System Simulation. ICECCS 2010: 312 - [c55]Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack:
Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering. ICECCS 2010: 315-316 - [c54]Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes:
Constructing and Navigating Non-invasive Model Decorations. ICMT@TOOLS 2010: 138-152 - [c53]Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
Model Migration with Epsilon Flock. ICMT@TOOLS 2010: 184-198 - [c52]Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcés, Richard F. Paige, Fiona A. C. Polack:
A Comparison of Model Migration Tools. MoDELS (1) 2010: 61-75 - [c51]Dimitrios S. Kolovos, Louis M. Rose, Saad bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck:
Taming EMF and GMF Using Model Transformation. MoDELS (1) 2010: 211-225 - [c50]Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige:
KAOS-β: A Goal-oriented Process Model for EIS. MSVVEIS 2010: 40-49
2000 – 2009
- 2009
- [c49]Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. Rigorous Methods for Software Construction and Analysis 2009: 204-218 - [c48]Fiona A. C. Polack, Paul S. Andrews, Adam T. Sampson:
The engineering of concurrent simulations of complex systems. IEEE Congress on Evolutionary Computation 2009: 217-224 - [c47]Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack:
The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. ICECCS 2009: 162-171 - [c46]Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack:
Raising the level of abstraction in the development of GMF-based graphical model editors. MiSE@ICSE 2009: 13-19 - [c45]Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
Enhanced Automation for Managing Model and Metamodel Inconsistency. ASE 2009: 545-549 - [c44]Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack:
Profile Adaptation in Adaptive Information Filtering: An Immune Inspired Approach. SoCPaR 2009: 414-419 - [c43]Fiona A. C. Polack:
Self-organisation for Survival in Complex Computer Architectures. SOAR 2009: 66-83 - [c42]James R. Williams, Fiona A. C. Polack:
Automated Formalisation for Verification of Diagrammatic Models. FACS@FMWeek 2009: 211-226 - 2008
- [j8]Régine Laleau, Fiona Polack:
Using formal metamodels to check consistency of functional views in information systems specification. Inf. Softw. Technol. 50(7-8): 797-814 (2008) - [c41]Fiona A. C. Polack, Tim Hoverd, Adam T. Sampson, Susan Stepney, Jon Timmis:
Complex Systems Models - Engineering Simulations. ALIFE 2008: 482-489 - [c40]Andrew Weeks, Fiona Polack, Susan Stepney:
Investigating Emergence by Coarse Graining Elementary Cellular Automata. ALIFE 2008: 686-693 - [c39]Nuno Amálio, Fiona Polack, Jing Zhang:
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. ABZ 2008: 323-336 - [c38]Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
The Epsilon Generation Language. ECMDA-FA 2008: 1-16 - [c37]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
The Epsilon Transformation Language. ICMT@TOOLS 2008: 46-60 - [c36]Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
Novel features in languages of the epsilon model management platform. MiSE 2008: 69-73 - [c35]Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, Fiona A. C. Polack:
Unit Testing Model Management Operations. ICST Workshops 2008: 97-104 - [c34]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST 2008: 356-364 - [c33]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
The Grand Challenge of Scalability for Model Driven Engineering. MoDELS (Workshops) 2008: 48-53 - [c32]Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
Constructing Models with the Human-Usable Textual Notation. MoDELS 2008: 249-263 - [e2]Peter H. Welch, Susan Stepney, Fiona Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson:
The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008. Concurrent Systems Engineering Series 66, IOS Press 2008, ISBN 978-1-58603-907-3 [contents] - 2007
- [j7]Heather R. Turner, Susan Stepney, Fiona A. C. Polack:
Rule Migration: Exploring a Design Framework for Emergence. Int. J. Unconv. Comput. 3(1): 49-66 (2007) - [j6]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack, Louis M. Rose:
Update Transformations in the Small with the Epsilon Wizard Language. J. Object Technol. 6(9): 53-69 (2007) - [c31]Andrew Weeks, Susan Stepney, Fiona Polack:
Neutral Emergence and Coarse Graining. ECAL 2007: 1131-1140 - [c30]Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke:
Extreme Programming Security Practices. XP 2007: 226-230 - 2006
- [j5]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006) - [c29]Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark:
Deviational Analyses for Validating Regulations on Real Systems. ReMo2V 2006 - [c28]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
The Epsilon Object Language (EOL). ECMDA-FA 2006: 128-142 - [c27]Nuno Amálio, Susan Stepney, Fiona Polack:
A Formal Template Language Enabling Metaproof. FM 2006: 252-267 - [c26]Susan Stepney, Fiona Polack, Heather R. Turner:
Engineering Emergence. ICECCS 2006: 89-97 - [c25]Peter H. Welch, Fred R. M. Barnes, Fiona Polack:
Communicating Complex Systems. ICECCS 2006: 107-120 - [c24]Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke:
Agile development of secure web applications. ICWE 2006: 305-312 - [c23]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
Merging Models with the Epsilon Merging Language (EML). MoDELS 2006: 215-229 - [c22]Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
An action semantics for MOF 2.0. SAC 2006: 1304-1305 - [e1]John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke:
Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings. Lecture Notes in Computer Science 3934, Springer 2006, ISBN 3-540-33376-2 [contents] - 2005
- [c21]Fiona Polack, Susan Stepney, Heather R. Turner, Peter H. Welch, Fred R. M. Barnes:
An Architecture for Modelling Emergence in CA-Like Systems. ECAL 2005: 433-442 - [c20]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
An Agile and Extensible Code Generation Framework. XP 2005: 226-229 - [c19]Nuno Amálio, Fiona Polack, Susan Stepney:
An Object-Oriented Structuring for Z Based on Views. ZB 2005: 262-278 - [c18]Nuno Amálio, Fiona Polack, Susan Stepney:
Frameworks Based on Templates for Rigorous Model-driven Development. IFM Doctoral Symposium 2005: 3-23 - [c17]Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
Refinement via Consistency Checking in MDA. REFINE 2005: 151-161 - [c16]Fiona Polack, Susan Stepney:
Emergent Properties Do Not Refine. REFINE 2005: 163-181 - 2004
- [c15]Xiaocheng Ge, Fiona Polack, Régine Laleau:
Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. CAiSE 2004: 234-247 - [c14]Nuno Amálio, Susan Stepney, Fiona Polack:
Formal Proof from UML Models. ICFEM 2004: 418-433 - [c13]Thitima Srivatanakul, John A. Clark, Fiona Polack:
Effective Security Requirements Analysis: HAZOP and Use Cases. ISC 2004: 416-427 - 2003
- [c12]Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack:
Challenging Formal Specifications by Mutation: a CSP security example. APSEC 2003: 340- - [c11]Susan Stepney, Fiona Polack, Ian Toyn:
An Outline Pattern Language for Z: Five Illustrations and Two Tables. ZB 2003: 2-19 - [c10]Susan Stepney, Fiona Polack, Ian Toyn:
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. ZB 2003: 20-39 - [c9]Nuno Amálio, Fiona Polack:
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. ZB 2003: 339-358 - 2002
- [c8]Regine Laleau, Fiona Polack:
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. ZB 2002: 517-534 - [c7]Susan Stepney, Fiona Polack, Ian Toyn:
Refactoring in maintenance and development of Z specifications. Refine 2002: 50-69 - 2001
- [j4]Regine Laleau, Fiona Polack:
Specification of integrity-preserving operations in information systems by using a formal UML-based language. Inf. Softw. Technol. 43(12): 693-704 (2001) - [j3]Fiona Polack:
A case study using lightweight formalism to review an information system specification. Softw. Pract. Exp. 31(8): 757-780 (2001) - [c6]Regine Laleau, Fiona Polack:
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. CAiSE 2001: 402-416
1990 – 1999
- 1999
- [c5]Fiona Polack, Susan Stepney:
Systems Development Using Z Generics. World Congress on Formal Methods 1999: 1048-1067 - 1995
- [j2]Keith Mander, Fiona A. C. Polack:
Rigorous specification using structured systems analysis and Z. Inf. Softw. Technol. 37(5-6): 285-291 (1995) - 1994
- [c4]Fiona Polack, Keith Mander:
Software Quality Assurance Using the SAZ Method. Z User Workshop 1994: 230-249 - 1993
- [c3]Fiona Polack, Mark Whiston, Keith Mander:
The SAZ Project: Integrating SSADM and Z.. FME 1993: 541-557 - 1992
- [j1]Fiona Polack:
Integrating formal notations and systems analysis: using entity relationship diagrams. Softw. Eng. J. 7(5): 363-371 (1992) - 1991
- [c2]Fiona Polack, Mark Whiston, Peter Hitchcock:
Structured Analysis - A Draft Method for Writing Z Specifications. Z User Workshop 1991: 287-328 - 1990
- [c1]Fiona Polack, Peter Hitchcock, Alan W. Brown:
SAZ. Z User Workshop 1990: 384-384