Fiona A. C. Polack

According to our database, Fiona A. C. Polack authored at least 113 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Trustworthy agent-based simulation: the case for domain-specific modelling languages.

Steffen Zschaler, Fiona A. C. Polack

Softw. Syst. Model., April, 2023

Doctoral Symposium.

Fiona Polack, Hugo Bruneliere

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

The Importance of Noise Colour in Simulations of Evolutionary Systems.

Matt Grove, Lucy Timbrell, Ben P. Jolley, Fiona Polack, James M. Borg

Artif. Life, March, 2022

Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models.

Richard F. Paige, Fiona A. C. Polack, Steffen Zschaler, Thomas Chiang, Nicholas Annable

J. Object Technol., 2022

The role of living laboratories in unlocking the potential of low-carbon energy technologies on the journey to net-zero.

Zhong Fan, Jun Cao, Taskin Jamal, Chris Fogwill, Cephas Samende, Zoe Robinson, Fiona Polack, Mark Ormerod, Sharon George, Adam Peacock, David Healey

CoRR, 2022

2021

Living with Uncertainty in Model-Based Development.

Simona Bernardi, Michalis Famelis, Jean-Marc Jézéquel, Raffaela Mirandola, Diego Perez-Palacin, Fiona A. C. Polack, Catia Trubiani

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

On Developing and Validating Dynamic Systems: Simulation Engineering.

Fiona Polack, Kieran Alden

J. Object Technol., 2020

Report on Workshop: Planning the Future of Agent Simulation.

Fiona Polack, Steffen Zschaler

Artif. Life, 2020

A family of languages for trustworthy agent-based simulation.

Steffen Zschaler, Fiona A. C. Polack

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

Coloured noise time series as appropriate models for environmental variation in artificial evolutionary systems.

Matt Grove, James M. Borg, Fiona Polack

Proceedings of the 2020 Conference on Artificial Life, 2020

2019

Towards Efficient Comparison of Change-Based Models.

Alfa Yohannis, Rodriguez Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos

J. Object Technol., 2019

2018

Towards Hybrid Model Persistence.

Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Towards Efficient Loading of Change-Based Models.

Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

Engineering Simulations as Scientific Instruments: A Pattern Language

Susan Stepney, Fiona A. C. Polack

Springer, ISBN: 978-3-030-01937-2, 2018

2017

Dynamic optimisation of preventative and corrective maintenance schedules for a large scale urban drainage system.

Yujie Chen, Peter I. Cowling, Fiona Polack, Stephen Remde, Philip Mourdjis

Eur. J. Oper. Res., 2017

Turning Models Inside Out.

Alfa Yohannis, Dimitris S. Kolovos, Fiona Polack

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016

Competition and Cooperation in Pickup and Multiple Delivery Problems.

Philip Mourdjis, Fiona Polack, Peter I. Cowling, Yujie Chen, Martin Robinson

Proceedings of the Operations Research and Enterprise Systems, 2016

The Effect of Cooperation in Pickup and Multiple Delivery Problems.

Philip Mourdjis, Fiona Polack, Peter I. Cowling, Yujie Chen, Martin Robinson

Proceedings of 5th the International Conference on Operations Research and Enterprise Systems (ICORES 2016), 2016

A Comparison of One-Pass and Bi-directional Approaches Applied to Large-Scale Road Inspection.

Yujie Chen, Fiona Polack, Peter I. Cowling, Stephen Remde

Proceedings of the Operations Research and Enterprise Systems, 2016

Exploring Techniques to Improve Large-Scale Drainage System Maintenance Scheduling Using a Risk Driven Model.

Yujie Chen, Fiona Polack, Peter I. Cowling, Philip Mourdjis, Stephen Remde

Proceedings of the Operations Research and Enterprise Systems, 2016

Risk Driven Analysis of Maintenance for a Large-scale Drainage System.

Yujie Chen, Fiona Polack, Peter I. Cowling, Philip Mourdjis, Stephen Remde

Proceedings of 5th the International Conference on Operations Research and Enterprise Systems (ICORES 2016), 2016

Efficient Large-scale Road Inspection Routing.

Yujie Chen, Peter I. Cowling, Stephen Remde, Fiona Polack

Proceedings of 5th the International Conference on Operations Research and Enterprise Systems (ICORES 2016), 2016

Variable Neighbourhood Descent with Memory: A Hybrid Metaheuristic for Supermarket Resupply.

Philip Mourdjis, Yujie Chen, Fiona A. C. Polack, Peter I. Cowling, Martin Robinson

Proceedings of the Hybrid Metaheuristics - 10th International Workshop, 2016

Evaluating Hyperheuristics and Local Search Operators for Periodic Routing Problems.

Yujie Chen, Philip Mourdjis, Fiona A. C. Polack, Peter I. Cowling, Stephen Remde

Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2016

2015

Principled simulation of cell proliferation dynamics using the CoSMoS approach.

Fiona Polack, Alastair P. Droop

Nat. Comput., 2015

Filling gaps in simulation of complex systems: the background and motivation for CoSMoS.

Fiona Polack

Nat. Comput., 2015

Evaluating Student Work in Modelling Courses.

Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack, Louis M. Rose

Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

2014

Epsilon Flock: a model migration language.

Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack, Simon M. Poulding

Softw. Syst. Model., 2014

A tutorial on metamodelling for grammar researchers.

Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack

Sci. Comput. Program., 2014

Bad Modelling Teaching Practices.

Richard F. Paige, Fiona A. C. Polack, Dimitrios S. Kolovos, Louis M. Rose, Nicholas Drivalos Matragkas, James R. Williams

Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

2013

Bioinspired Load Balancing in Large-Scale WSNs Using Pheromone Signalling.

Ipek Caliskanelli, James Harbin, Leandro Soares Indrusiak, Paul D. Mitchell, Fiona Polack, David Chesmore

Int. J. Distributed Sens. Networks, 2013

Emergence of Frontiers in Networked Schelling Segregationist Models.

Philippe Collard, Salma Mesmoudi, Teodor Ghetiu, Fiona Polack

Complex Syst., 2013

What do Metamodels Really Look Like?

James R. Williams, Athanasios Zolotas, Nicholas Drivalos Matragkas, Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack

Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour.

James R. Williams, Simon M. Poulding, Richard F. Paige, Fiona Polack

Proceedings of the 8th Workshop on Models @ Run.time co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

Accelerating Immunos 99.

Paul N. Taylor, Fiona Polack, Jon Timmis

Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, 2013

Scenario-based modeling to capture requirements for immune inspired profile adaptation.

Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack

Proceedings of the 8th International Conference on Information Technology in Asia, 2013

2012

Metamodelling for Grammarware Researchers.

Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack

Proceedings of the Software Language Engineering, 5th International Conference, 2012

Runtime optimisation in WSNs for load balancing using pheromone signalling.

Ipek Caliskanelli, James Harbin, Leandro Soares Indrusiak, Paul D. Mitchell, David Chesmore, Fiona Polack

Proceedings of the 3rd IEEE International Conference on Networked Embedded Systems for Every Application, 2012

Searching for model migration strategies.

James R. Williams, Richard F. Paige, Fiona A. C. Polack

Proceedings of the 6th International Workshop on Models and Evolution, 2012

Sensitivity Analysis in Model-Driven Engineering.

James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Choosing and adapting design notations in the principled development of complex systems simulations for research.

Fiona A. C. Polack

Proceedings of the Modelling of the Physical World Workshop, 2012

2011

Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case

Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels.

James R. Williams, Simon M. Poulding, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack

Proceedings of the Search Based Software Engineering - Third International Symposium, 2011

Requirements for a model comparison language.

James R. Williams, Dimitrios S. Kolovos, Fiona A. C. Polack, Richard F. Paige

Proceedings of the 2nd International Workshop on Model Comparison in Practice, 2011

Immune Inspired Adaptive Information Filtering: Focusing on Profile Adaptation.

Nurulhuda Firdaus Mohd Azmi, Fiona Polack, Jon Timmis

Proceedings of the Bio-Inspired Models of Networks, Information, and Computing Systems, 2011

2010

KAOS-β: A Goal-oriented Process Model for EIS.

Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige

Proceedings of the Modelling, 2010

A Comparison of Model Migration Tools.

Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcés, Richard F. Paige, Fiona A. C. Polack

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Taming EMF and GMF Using Model Transformation.

Dimitrios S. Kolovos, Louis M. Rose, Saad bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Model Migration with Epsilon Flock.

Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack

Proceedings of the Theory and Practice of Model Transformations, 2010

Constructing and Navigating Non-invasive Model Decorations.

Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes

Proceedings of the Theory and Practice of Model Transformations, 2010

Reflections on the Simulation of Complex Systems for Science.

Fiona A. C. Polack, Paul S. Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis, Adam T. Sampson

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

In Search of Sound 'in silico' Research - Validating a Complex System Simulation.

Teodor Ghetiu, Fiona A. C. Polack, James L. Bown

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering.

Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Concordance: A Framework for Managing Model Integrity.

Louis M. Rose, Dimitrios S. Kolovos, Nikolaos Drivalos, James R. Williams, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems.

Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige

Proceedings of the ENTERprise Information Systems - International Conference, 2010

Formal Analysis in Model Management: Exploiting the Power of CZT.

James R. Williams, Fiona A. C. Polack, Richard F. Paige

Proceedings of the Abstract State Machines, 2010

2009

Automated Formalisation for Verification of Diagrammatic Models.

James R. Williams, Fiona A. C. Polack

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Self-organisation for Survival in Complex Computer Architectures.

Fiona A. C. Polack

Proceedings of the Self-Organizing Architectures, First International Workshop, 2009

Profile Adaptation in Adaptive Information Filtering: An Immune Inspired Approach.

Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack

Proceedings of the First International Conference of Soft Computing and Pattern Recognition, 2009

Enhanced Automation for Managing Model and Metamodel Inconsistency.

Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack

Proceedings of the ASE 2009, 2009

Raising the level of abstraction in the development of GMF-based graphical model editors.

Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack

Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering.

Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

The engineering of concurrent simulations of complex systems.

Fiona A. C. Polack, Paul S. Andrews, Adam T. Sampson

Proceedings of the IEEE Congress on Evolutionary Computation, 2009

On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages.

Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

Using formal metamodels to check consistency of functional views in information systems specification.

Régine Laleau, Fiona Polack

Inf. Softw. Technol., 2008

Constructing Models with the Human-Usable Textual Notation.

Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack

Proceedings of the Model Driven Engineering Languages and Systems, 2008

The Grand Challenge of Scalability for Model Driven Engineering.

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Unit Testing Model Management Operations.

Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, Fiona A. C. Polack

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Detecting and Repairing Inconsistencies across Heterogeneous Models.

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack

Proceedings of the First International Conference on Software Testing, 2008

Novel features in languages of the epsilon model management platform.

Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack

Proceedings of the International Workshop on Modeling in Software Engineering, 2008

The Epsilon Transformation Language.

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack

Proceedings of the Theory and Practice of Model Transformations, 2008

The Epsilon Generation Language.

Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack

Proceedings of the Model Driven Architecture, 2008

Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity.

Nuno Amálio, Fiona Polack, Jing Zhang

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

Investigating Emergence by Coarse Graining Elementary Cellular Automata.

Andrew Weeks, Fiona Polack, Susan Stepney

Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

Complex Systems Models - Engineering Simulations.

Fiona A. C. Polack, Tim Hoverd, Adam T. Sampson, Susan Stepney, Jon Timmis

Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

2007

Update Transformations in the Small with the Epsilon Wizard Language.

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack, Louis M. Rose

J. Object Technol., 2007

Rule Migration: Exploring a Design Framework for Emergence.

Heather R. Turner, Susan Stepney, Fiona A. C. Polack

Int. J. Unconv. Comput., 2007

Extreme Programming Security Practices.

Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke

Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2007

Neutral Emergence and Coarse Graining.

Andrew Weeks, Susan Stepney, Fiona Polack

Proceedings of the Advances in Artificial Life, 9th European Conference, 2007

2006

Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries.

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

An action semantics for MOF 2.0.

Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Merging Models with the Epsilon Merging Language (EML).

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Agile development of secure web applications.

Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke

Proceedings of the 6th International Conference on Web Engineering, 2006

Communicating Complex Systems.

Peter H. Welch, Fred R. M. Barnes, Fiona Polack

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Engineering Emergence.

Susan Stepney, Fiona Polack, Heather R. Turner

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

A Formal Template Language Enabling Metaproof.

Nuno Amálio, Susan Stepney, Fiona Polack

Proceedings of the FM 2006: Formal Methods, 2006

The Epsilon Object Language (EOL).

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack

Proceedings of the Model Driven Architecture, 2006

Deviational Analyses for Validating Regulations on Real Systems.

Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

2005

Emergent Properties Do Not Refine.

Fiona Polack, Susan Stepney

Proceedings of the REFINE 2005 Workshop, 2005

Refinement via Consistency Checking in MDA.

Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack

Proceedings of the REFINE 2005 Workshop, 2005

Frameworks Based on Templates for Rigorous Model-driven Development.

Nuno Amálio, Fiona Polack, Susan Stepney

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

An Object-Oriented Structuring for Z Based on Views.

Nuno Amálio, Fiona Polack, Susan Stepney

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

An Agile and Extensible Code Generation Framework.

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

An Architecture for Modelling Emergence in CA-Like Systems.

Fiona Polack, Susan Stepney, Heather R. Turner, Peter H. Welch, Fred R. M. Barnes

Proceedings of the Advances in Artificial Life, 8th European Conference, 2005

2004

Effective Security Requirements Analysis: HAZOP and Use Cases.

Thitima Srivatanakul, John A. Clark, Fiona Polack

Proceedings of the Information Security, 7th International Conference, 2004

Formal Proof from UML Models.

Nuno Amálio, Susan Stepney, Fiona Polack

Proceedings of the Formal Methods and Software Engineering, 2004

Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment.

Xiaocheng Ge, Fiona Polack, Régine Laleau

Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004

2003

Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z.

Susan Stepney, Fiona Polack, Ian Toyn

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

An Outline Pattern Language for Z: Five Illustrations and Two Tables.

Susan Stepney, Fiona Polack, Ian Toyn

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.

Nuno Amálio, Fiona Polack

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Challenging Formal Specifications by Mutation: a CSP security example.

Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

Refactoring in maintenance and development of Z specifications.

Susan Stepney, Fiona Polack, Ian Toyn

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.

Regine Laleau, Fiona Polack

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2001

A case study using lightweight formalism to review an information system specification.

Fiona Polack

Softw. Pract. Exp., 2001

Specification of integrity-preserving operations in information systems by using a formal UML-based language.

Regine Laleau, Fiona Polack

Inf. Softw. Technol., 2001

A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems.

Regine Laleau, Fiona Polack

Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001

1999

Systems Development Using Z Generics.

Fiona Polack, Susan Stepney

Proceedings of the FM'99 - Formal Methods, 1999

1995

Rigorous specification using structured systems analysis and Z.

Keith Mander, Fiona A. C. Polack

Inf. Softw. Technol., 1995

1994

Software Quality Assurance Using the SAZ Method.

Fiona Polack, Keith Mander

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

1993

The SAZ Project: Integrating SSADM and Z..

Fiona Polack, Mark Whiston, Keith Mander

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

Integrating formal notations and systems analysis: using entity relationship diagrams.

Fiona Polack

Softw. Eng. J., 1992

1991

Structured Analysis - A Draft Method for Writing Z Specifications.

Fiona Polack, Mark Whiston, Peter Hitchcock

Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991

1990

SAZ.

Fiona Polack, Peter Hitchcock, Alan W. Brown

Proceedings of the Z User Workshop, 1990