Classified Bibliography

Here is a classified listing of my research publications and other popular articles. The bibliography is sorted by category, in order of recency. Many of the more recent articles have links to downloadable sources, where copyright permits.

Google Scholar Citations Index for Anthony J H Simons

Journal Papers :: Refereed

Many publishers provide links to on-line versions of these articles. If you or your institution subscribes to their service, you will be able to download articles. I have a few offprints remaining of other hardcopy-only articles. Contact me if you want one of these. Sometimes, an electronic draft version is also available.

K Bogdanov, M Holcombe and A Simons, Generating complete test sets for objects using interception of communication, ACM Transactions on Software Engineering and Methodology, XX (YY),, (New York: ACM, 2012), 53pp, to appear.
J Derrick, S North and A J H Simons, A SAL-based refinement checker for Z, Formal Aspects of Computing, Refine 2011 Special Edition, eds. J Derrick, S Schneider, E Boiten, (London : BCS/Springer 2012), to appear.
L Bottaci, G Fraser and A J H Simons eds., Software Practice and Experience, TAIC PART 2010 Special Edition, (London : Wiley, 2012), to appear.
C A Fernández-y-Fernández and A J H Simons, An algebra to represent task flow models, International Journal of Computational Intelligence: Theory and Practice, 6 (2), (Carbondale : Serials Publications, 2011), 63-74.
J Derrick, S North and A J H Simons, Z2SAL: a translation-based model checker for Z, Formal Aspects of Computing, 23 (1), eds. J P Bowen and M J Butler, (London : BCS/Springer, 2011), 43-71. SpringerLink: DOI 10.1007/s00165-009-0126-7, 2 October, 2009.
R M Hierons, K Bogdanov, J P Bowen, R Cleaveland, J Derrick, J Dick, M Gheorghe, M Harman, K Kapoor, P Krause, G Luettgen, A J H Simons, S Vilkomir, M R Woodward and H Zedan, Using Formal Specifications to Support Testing, ACM Computing Surveys, 41 (2), February, (New York: ACM, 2009), 9:1-9:76.
ACM Digital Library: http://doi.acm.org/10.1145/1459352.1459354. Draft version; final draft version.
A J H Simons, JWalk: a tool for lazy systematic testing of Java classes by introspection and user interaction, Automated Software Engineering, 14 (4), December, ed. B. Nuseibeh, (Springer, USA, 2007), 369-418. SpringerLink: DOI 10.1007/s10515-007-0015-3, 8 September, 2007.
Final draft version also deposited with White Rose Research Online.
A J H Simons, A theory of regression testing for behaviourally compatible object types, rev. and ext., Software Testing, Verification and Reliability, 16 (3), UKTest 2005 Special Issue, September, eds. M Woodward, P. McMinn, M. Holcombe, R. Hierons (London: John Wiley, 2006), 133-156.
B Henderson-Sellers and A J H Simons, OPEN - a third generation object-oriented methodology, Journal of Research and Practice in Information Technology, 32 (1), (Sydney: Australian Computer Society, 2000), 47-68.
A J H Simons, On the compositional properties of UML statechart diagrams, Electronic Workshops in Computing: Rigorous Object-Oriented Methods 2000, series ed. C J van Rijsbergen (British Computer Society, 2000), 8/1-8/12.
A J H Simons, M Snoeck and K S Y Hung, Using design patterns to reveal the competence of object-oriented methods in system-level design, rev. and enl., Computer Systems Science and Engineering, 14 (6), eds. G Grosz and T Dillon (CRL Publishing Ltd., 1999), 343-352.
K G van den Berg and A J H Simons, Control flow semantics of use cases in UML, Information and Software Technology, 41 (10), (North Holland: Elsevier, 1999), 651-659.
B Henderson-Sellers, D G Firesmith, I Graham and A J H Simons, Instantiating the process metamodel, Journal of Object-Oriented Programming, 12 (3), June , (SIGS Publications, 1999), 51-57.
A J H Simons and I Graham, 37 Things that don't work in object modelling with UML, British Computer Society Obj.-Oriented Prog. Sys. Newsletter, 35, eds. S Kent and R Mitchell (BCS: Autumn, 1998), 1-24.
A J H Simons, Borrow, copy or steal? Loans and larceny in the orthodox canonical form, Sigplan Notices, 33 (10), (Vancouver : ACM/Sigplan, 1998), 65-83.
B Henderson-Sellers and I M Graham, with additional input from C Atkinson, J Bezivin, L L Constantine, R Due, R Duke, D Firesmith, G Low, J McKim, D Mehandjiska-Stavrova, B Meyer, J J Odell, M Page-Jones, T Reenskaug, B Selic, A J H Simons, P Swatman and R Winder, OPEN: toward method convergence?, IEEE Computer, 29 (4), (IEEE, 1996), 86-89.
A J H Simons, Low E-K and Ng Y-M, An optimising delivery system for object-oriented software, Object-Oriented Systems, 1 (1), (London: Chapman and Hall, 1994), 21-44. See earlier draft version.
A J H Simons, Pitch synchronisation for frequency domain analysis, Proc. Inst. of Acoust., 14 (6), ed. R A Lawrence (St Albans: IOA, 1992), 71-78.
A J H Simons, On finding objects in speech signals, Proc. Inst. of Acoust., 12 (10), eds. R Lawrence and W A Ainsworth (St Albans: IOA, 1990), 225-232.
P D Green, A J H Simons and P J Roach, The Sylk project: foundations and overview, Proc. Inst. of Acoust., 12 (10), eds. R Lawrence and W A Ainsworth (St Albans: IOA, 1990), 249-258.
A J H Simons, Phonetic tokens for symbolic reasoning, Proc. Inst. of Acoust., 8 (7), eds. R Lawrence and W A Ainsworth (St Albans: IOA, 1986), 507-512.
A J H Simons, Underlying phonetic explanations, Proc. Inst. of Acoust., 8 (7), eds. R Lawrence and W A Ainsworth (St Albans: IOA, 1986), 499-505.

Journal Papers :: Invited Series

The following is my popular monograph The Theory of Classification, published in 20 parts by the Journal of Object Technology. Note: in Spring 2008 the journal changed the location of these articles. The links have been updated.

A J H Simons, The Theory of Classification, Part 20: Modular Checking of Classtypes, Journal of Object Technology, 4 (7), September-October, ed. R Wiener, (Zurich: ETH, 2005), 7-18.
A J H Simons, The Theory of Classification, Part 19: The Proliferation of Parameters, Journal of Object Technology, 4 (5), July-August, ed. R Wiener, (Zurich: ETH, 2005), 37-48.
A J H Simons, The Theory of Classification, Part 18: Polymorphism Through the Looking Glass, Journal of Object Technology, 4 (4), May-June, ed. R Wiener, (Zurich: ETH, 2005), 7-18.
A J H Simons, The Theory of Classification, Part 17: Multiple Inheritance and the Resolution of Inheritance Conflicts, Journal of Object Technology, 4 (2), March-April, ed. R Wiener, (Zurich: ETH, 2005), 15-26.
A J H Simons, The Theory of Classification, Part 16: Rules of Extension and the Typing of Inheritance, Journal of Object Technology, 4 (1), January-February, ed. R Wiener, (Zurich: ETH, 2005), 13-25.
A J H Simons, The Theory of Classification, Part 15: Mixins and the Superclass Interface, Journal of Object Technology, 3 (10), November-December, ed. R Wiener, (Zurich: ETH, 2004), 7-18.
A J H Simons, The Theory of Classification, Part 14: Modification and Objects like Myself, Journal of Object Technology, 3 (8), September-October, ed. R Wiener, (Zurich: ETH, 2004), 15-26.
A J H Simons, The Theory of Classification, Part 13: Template Classes and Genericity, Journal of Object Technology, 3 (7), July-August, ed. R Wiener, (Zurich: ETH, 2004), 15-25.
A J H Simons, The Theory of Classification, Part 12: Building the Class Hierarchy, Journal of Object Technology, 3 (5), May-June, ed. R Wiener, (Zurich: ETH, 2004), 13-24.
A J H Simons, The Theory of Classification, Part 11: Adding Class Types to Object Implementations, Journal of Object Technology, 3 (3), March-April, ed. R Wiener, (Zurich: ETH, 2004), 7-19.
A J H Simons, The Theory of Classification, Part 10: Method Combination and Super-Reference, Journal of Object Technology, 3 (1), January-February, ed. R Wiener, (Zurich: ETH, 2004), 43-53.
A J H Simons, The Theory of Classification, Part 9: Inheritance and Self-Reference, Journal of Object Technology, 2 (6), November-December, ed. R Wiener, (Zurich: ETH, 2003), 25-34.
A J H Simons, The Theory of Classification, Part 8: Classification and Inheritance, Journal of Object Technology, 2 (4), July-August, ed. R Wiener, (Zurich: ETH, 2003), 55-64.
A J H Simons, The Theory of Classification, Part 7: A Class is a Family of Types, Journal of Object Technology, 2 (3), May-June, ed. R Wiener, (Zurich: ETH, 2003), 13-22.
A J H Simons, The Theory of Classification, Part 6: The Subtyping Inquisition, Journal of Object Technology, 2 (2), March-April, ed. R Wiener, (Zurich: ETH, 2003), 17-26.
A J H Simons, The Theory of Classification, Part 5: Axioms, Assertions and Subtyping, Journal of Object Technology, 2 (1), January-February, ed. R Wiener, (Zurich: ETH, 2003), 13-21.
A J H Simons, The Theory of Classification, Part 4: Object Types and Subtyping, Journal of Object Technology, 1 (5), November-December, ed. R Wiener, (Zurich: ETH, 2002), 27-35.
A J H Simons, The Theory of Classification, Part 3: Object Encodings and Recursion, Journal of Object Technology, 1 (4), September-October, ed. R Wiener, (Zurich: ETH, 2002), 49-57.
A J H Simons, The Theory of Classification, Part 2: The Scratch-Built Typechecker, Journal of Object Technology, 1 (2), July-August, ed. R Wiener, (Zurich: ETH, 2002), 47-54.
A J H Simons, The Theory of Classification, Part 1: Perspectives on Type Compatibility, Journal of Object Technology, 1 (1), May-June, ed. R Wiener, (Zurich: ETH, 2002), 55-61.

Conference Papers :: Refereed

A F Subahi and A J H Simons A multi-level transformation from conceptual data models to database scripts using Java agents, Proc. 2nd. Int. Workshop on Composition and Evolution of Model Transformations, eds. K Lano and S Zschaler, 30 September, (London: Kings College, 2011), 7.1-7.8.
K Bratanis, D Dranidis and A J H Simons SLAs for cross-layer adaptation and monitoring of service-based applications: a case study, Proc. Int. Workshop on Quality Assurance for Service-based Applications, 14 September, eds. D Bianculli, S Guinea, A Metzger and A Polini (Lugano: ACM Digital Library, 2011), 28-32.
J Derrick, S North and A J H Simons, Building a refinement checker for Z, Proc. 15th Int. Refinement Workshop, 20 June (2011) in: eds. J Derrick, E Boiten and S Reeves, EPTCS, 55 (Limerick: OPA, 2011), 37-52.
S Foster, G Struth, O Rypáček and A J H Simons Model transformation by refinement and constructive logic, Proc. Workshop on Model-Driven Engineering, Logic and Optimization: friends or foes?, at ECMFA 2011, 6 June, (Birmingham: Springer, 2011), 1-5.
K Bratanis, D Dranidis and A J H Simons An extensible architecture for the run-time monitoring of conversational web services, Proc 3rd. Int. Workshop on Monitoring, Adaptation and Beyond, 1 December, eds. D Karastoyanova, R Kazhamiakin and A Metzger, ISBN 978-1-4053-0422-1, (Ayia Napa, Cyprus: ACM New York, 2010), 9-16. DOI 10.1145/1929566.1929568 Earlier draft version.
K Bratanis, D Dranidis and A J H Simons Towards run-time monitoring of business-level agreements for web services, Proc 5th. Annual South-East European Doctoral Student Conference, 13-14 September, eds. A G Psychogios, F Proedru, E Kalyva and G Eleftherakis (Thessaloniki: SEERC, 2010), 370-379.
K Bratanis, D Dranidis and A J H Simons Towards run-time monitoring of web services' conformance to business-level agreements, Proc 5th. Testing: Academic and Industrial Conference: Practice and Research Techniques, Lecture Notes in Computer Science, 6303, 3-5 September, eds. L Bottaci and G Fraser (Cumberland Lodge, Windsor Great Park: Springer, 2010), 203-206. Longer draft version
A J H Simons, W Zhao, Dynamic analysis of algebraic structure to optimize test generation and test case selection, Proc 4th. Testing: Academic and Industrial Conference: Practice and Research Techniques, 4-6 September, eds. N Walkinshaw, G M Kapfhammer and L Bottaci, (Cumberland Lodge, Windsor Great Park: IEEE, 2009), 33-42. Draft version
C D Thomson, W M L Holcombe and A J H Simons, What makes testing work? 12 case studies of software developer teams , Proc 4th. Testing: Academic and Industrial Conference: Practice and Research Techniques, 4-6 September, eds. N Walkinshaw, G M Kapfhammer and L Bottaci, (Cumberland Lodge, Windsor Great Park: IEEE, 2009), 167-175.
E Ramollari, D Kourtesis, D Dranidis and A J H Simons, Leveraging semantic web service descriptions for validation by automated functional testing, Proc. 6th European Semantic Web Conf., 31 May - 4 June, in: eds. L Aroyo and P Traverso, Lecture Notes in Computer Science, 5554, (Heraklion, Greece: Springer, 2009), 593-607. Draft version
J Derrick, S North and A Simons, Z2SAL - building a model checker for Z, Proc. 1st Int. Conf. on Abstract State Machines, B and Z, 16-18 September (London: BCS/FACS, 2008), in: eds. E Börger, M Butler, J P Bowen and P Boca, Lecture Notes in Computer Science, 5238, (London: Springer Verlag, 2008), 280-293. Final draft version.
A J H Simons, N Griffiths and C D Thomson, Feedback-based specification, coding and testing with JWalk, Proc 3rd. Testing: Academic and Industrial Conference: Practice and Research Techniques, 29-31 August, eds. M Roper, G M Kapfhammer and L Bottaci, (Cumberland Lodge, Windsor Great Park: IEEE, 2008), 69-73.
C Thomson, M Holcombe, A Cowling, A Simons and G Michaelides, A pilot study of comparative customer comprehension between Extreme X-Machine and UML models, Proc 2nd. Int. Symp. Empirical Software Engineering and Measurement, 9-10 October, eds. J Kontio, J Muench, S Elbaum, (Kaiserslautern: ACM SigSoft/IEEE Comp. Sci., 2008), 270-272.
E Ramollari, D Dranidis and A J H Simons, Reliable web service publication and discovery through model-based testing and verification, Proc. 3rd Annual South-East European Doctoral Student Conference, 26-27 June, eds. I Paraskakis and A Luneski (Thessaloniki: SEERC, 2008), 302-314.
E Ramollari, D Kourtesis, D Dranidis and A J H Simons, Towards reliable web service discovery through behavioural verification and validation, Proc. 3rd Young Researchers' Workshop on Service Oriented Computing, 12-13 June, eds. M Solanki, B Norton and S Reiff-Marganiec, (London: Imperial College, 2008), 1-11.
A J H Simons and C D Thomson, Benchmarking effectiveness for object-oriented unit testing, Proc 1st. Software Testing Benchmark Workshop, 9-11 April, eds. M Roper and W M L Holcombe, (Lillehammer: ICST/IEEE, 2008).
A J H Simons and C D Thomson, Lazy systematic unit testing: JWalk versus JUnit, Proc 2nd. Testing: Academic and Industrial Conference - Practice and Research Techniques, 22-24 September, eds. P McMinn and M Harman, (Cumberland Lodge, Windsor Great Park: IEEE, 2007), 138. See also the A1 poster presenting this result.
E Ramollari, D Dranidis and A J H Simons, A survey of service-oriented development methodologies, Proc. 2nd Young Researchers' Workshop on Service Oriented Computing, 11-12 June, eds. S Gorton, M Solanki and S Reiff-Marganiec, (Leicester: University of Leicester, 2007), 75-80. Draft version.
J Derrick, S North and A Simons, Issues in implementing a model checker for Z, Proc. 8th Int. Conf. on Formal Engineering Methods, 29 October - 3 November, eds. J He and Z Liu, (Macau: UU-IST and University of Macau, 2006), 678-696.
A J H Simons and C A Fernández-y-Fernández, Using Alloy to model-check visual design notations, Proc. 6th Mexican Int. Conf. on Computer Science, 26-30 September, eds. V Estivill-Castro and J A Sanchez, (Puebla: IEEE Computer Society, 2005), 121-128. ArXiv copy held by Cornell University Library
A J H Simons, A theory of regression testing for behaviourally compatible object types, Proc. 3rd Conf. UK Software Testing Research, 5-6 September, eds. P McMinn, M Holcombe, R Hierons, (Sheffield: University of Sheffield, 2005), 103-121.
W P Sardjono and A J H Simons, Pattern-driven partitioning in designing distributed object applications, Proc. 9th European Conf. Pattern Languages of Programming (EuroPLoP 2004), eds. K Marquardt and D Schuetz, (Konstanz: UKV Konstanz GmBH, 2005), 583-615.
A J H Simons, Testing with guarantees and the failure of regression testing in eXtreme Programming, Proc. 6th Int. Conf. on eXtreme Programming and Agile Processes in Software Engineering (XP 2005), eds. H Baumeister et al., Lecture Notes in Computer Science, 3556, (Berlin: Springer Verlag, 2005), 118-126.
A J H Simons, M P Stannett, K E Bogdanov and W M L Holcombe, Plug and play safely: Rules for behavioural compatibility, Proc. 6th IASTED Int. Conf. Software Engineering and Applications, (Cambridge MA: IASTED, 2002), 263-268.
A J H Simons, On the compositional properties of UML statechart diagrams, Proc. 3rd. Conf. Rigorous Object-Oriented Methods, eds. A N Clark, A Evans and K Lano (York, 2000), 4/1-4/19.
A J H Simons, Use cases considered harmful, Proc. 29th Conf. Tech. Obj.-Oriented Prog. Lang. and Sys., (TOOLS-29 Europe), eds. R Mitchell, A C Wills, J Bosch and B Meyer (Los Alamitos, CA : IEEE Computer Society, 1999), 194-203.
A J H Simons, Borrow, copy or steal? Loans and larceny in the orthodox canonical form, Proc. 13th. ACM Conf. Object-Oriented Prog. Sys., Lang. and Appl., ed. C Chambers (Vancouver : ACM/Sigplan, 1998), 65-83.
A J H Simons and I Graham, 37 Things that don't work in object modelling with UML, Proc. 2nd. ECOOP Workshop on Precise Behavioural Semantics, TUM-I9813, eds. H Kilov and B Rumpe (Brussels : TU Munich, 1998), 209-232.
A J H Simons, M Snoeck and K S Y Hung, Design patterns as litmus paper to test the strength of object-oriented methods, Proc. 5th. Int. Conf. Object-Oriented Info. Sys., eds. C Rolland and G Grosz, (Paris: Springer Verlag, 1998), 129-147.
K S Y Hung, A J H Simons and A Rose, The truth is out there? A survey of business objects, Proc. 5th. Int. Conf. Object-Oriented Info. Sys., eds. C Rolland and G Grosz, (Paris: Springer Verlag, 1998), 183-200.
A J H Simons and M Snoeck, Rigorous object-oriented system design, Proc. 2nd Conf. Rigorous Object-Oriented Methods, eds. A Clarke, A Evans and K Lano (Bradford : 1998), 2/1-2/24.
K S Y Hung, A J H Simons and A Rose, Can you have it all? Managing the time and budget against quality issue in a dynamic business object architecture development, Proc. 6th Conf. Software Quality Management (Amsterdam : MEP, 1998), 121-134.
A J H Simons, A theory of class, Proc. 3rd Int. Conf. Object-Oriented Info. Sys., eds. D Patel, Y Sun and S Patel, (London: Springer Verlag, 1996), 44-56.
A J H Simons, Rationalising Eiffel's type system, Proc. 18th Conf. Technology of Object- Oriented Languages and Systems (TOOLS Pacific), eds. C. Mingins, R. Duke and B. Meyer (Melbourne, 1995), 365-377.
A J H Simons, Using and teaching object-oriented languages - the future of software engineering, Proc. 2nd Conf. on Software Engineering in Higher Education, ed. G A King (Southampton: SEHE, 1992), 23-34.
P J Roach, D Miller, P D Green and A J H Simons, The Sylk project: syllable structures as a basis for evidential reasoning with phonetic knowledge, Proc. 12th Int. Congr. Phonetic Sci., (Aix-en-Provence: ICPS, 1991), 482-485.
A J H Simons, A qualitative model of the articulators, Proc. 6th European Conf. Artificial Intelligence, eds. Y Kodratoff et al. (Munich: Pitman, 1988), 464-466.
A J H Simons, An object-oriented environment for phonetic processing, Proc. Fed. Acoust. Soc. Europe 7th Symp. on Speech, eds. W A Ainsworth and J N Holmes (Edinburgh: FASE, 1988), 361-368.
P D Green, M P Cooke, M D Crawford and A J H Simons, Acoustic-phonetic reasoning using the Speech Sketch: a progress report, Proc. Fed. Acoust. Soc. Europe 7th Symp. on Speech, eds. W A Ainsworth and J N Holmes (Edinburgh: FASE, 1988), 353-360.
P D Green, M P Cooke, H H Lafferty and A J H Simons, A speech recognition strategy based on making acoustic evidence and phonetic knowledge explicit, Proc. European Conf. Speech Tech., eds. J Laver and M Jack (Edinburgh: EuroSpeech, 1987), 373-376.

The OPEN Toolbox of Techniques (on Amazon)

Books and Chapters :: Refereed

This is our famous encyclopaedic reference on object-oriented software development techniques, published as one of a series by the OPEN Consortium. It has received several five-star ratings by reviewers on Amazon, mostly because it can be used in a methodology-neutral way.

B Henderson-Sellers, A J H Simons and H Younessi, The OPEN Toolbox of Techniques, including CD ROM with additional appendices and three CASE tools, ISBN 0-201-33134-9 (Wokingham: Addison-Wesley Longman, 1998).
A J H Simons and I Graham, 30 Things that go wrong in object modelling with UML 1.3, Chap. 17 in: Behavioral Specifications of Businesses and Systems, eds. H Kilov, B Rumpe, I Simmonds (Kluwer Academic Publishers, 1999), 237-257.
A J H Simons, A Language with Class: The Theory of Classification Exemplified in an Object-Oriented Programming Language, PhD Thesis, Department of Computer Science, University of Sheffield (Sheffield, 1995).
L Boucher, A J H Simons and P D Green, Evidential Reasoning and the Combination of Knowledge and Statistical Techniques in Syllable-Based Speech Recognition, in: Speech Recognition and Understanding: Recent Advances, Trends and Applications, NATO ASI Series F (75), eds. P Laface and R DeMori (Berlin: Springer Verlag, 1992), 487-492.
A J H Simons, Trends in Object-Oriented Programming, Chap. 3 in: Trends in Information Technology, eds. D A Linkens and R I Nicholson, (London: Peter Peregrinus/IEE, 1990), 37-52.
P D Green, G J Brown, M P Cooke, M D Crawford and A J H Simons, Bridging the Gap between Signals and Symbols, Chap. 4 in: Advances in Speech, Hearing and Language Processing, ed. W A Ainsworth (London: JAI Press, 1990), 149-192.
P D Green, M P Cooke, H H Lafferty and A J H Simons, A Speech Recognition Strategy based on Making Acoustic Evidence and Phonetic Knowledge Explicit, in: Recent Advances in Speech Understanding and Dialog Systems, eds. H Niemann, M Lang and G Sagerer (Berlin: Springer Verlag, 1988), 123-128.

Tutorials and Workshops :: Refereed

These represent significant surveys and original research material presented as tutorials and workshops at leading international conferences, in particular, the ACM Conference on Object-Oriented Programming Systems, Languages and Applications and the AITO/ACM European Conference on Object-Oriented Programming.

A J H Simons, Object Discovery: A process for developing medium-sized applications, Tutorial 14, ECOOP 1998 Tutorials, (Brussels : AITO/ACM, 1998), 109pp, printed 2-up.
A J H Simons, Object Discovery: A process for developing applications, Workshop 6, BCS Conf. Object Technology, (Oxford : BCS, 1998), 116pp, printed 2-up.
A J H Simons and P Swatman, Engineering the object-oriented software process: OPEN and MeNtOR, ECOOP '97 Tutorial 15, (Jyvaskyla : AITO/ACM Press, 1997), 96pp.
A J H Simons, Exploring Object-Oriented Type Systems, OOPSLA '94 Tutorial 28, (Portland : ACM Press, 1994), 81pp.
A J H Simons, Introduction to Object-Oriented Type Theory, OOPSLA '93 Tutorial 23, (Washington : ACM Press, 1993), 62pp.
A J H Simons, Introduction to Object-Oriented Type Theory, ECOOP '93 Tutorial 10, (Kaiserslautern : AITO/ACM Press, 1993), 62pp.
A J H Simons, Object-Oriented Programming, Artificial Intelligence and Simulation of Behaviour '89 Tutorials, (Falmer: SSAISB, 1989), 76pp.

Book Reviews :: Not Refereed

A J H Simons, Review of: Verification and Validation for Quality of UML 2.0 Models, by B Unhelkar, (Hoboken NJ: John Wiley, 2005), 271pp, in: Software Testing, Verification and Reliability, 16 (1), March, ed. M Woodward, (London: John Wiley, 2006), 62-64.
A J H Simons, Review of: Extreme Programming Refactored: The Case Against XP, by M Stephens and D Rosenberg, (Berkley CA: Apress, 2003), 540pp, in: Software Testing, Verification and Reliability, 15 (1), March, ed. M Woodward, (London: John Wiley, 2005), 63-64.
A J H Simons, Review of: Object-Oriented Design and Programming, by R Leach, in: Computer Bulletin, 8 (4), September, (London: BCS, 1996), p28.
A J H Simons, Review of: Object-Oriented Type Systems, by J Palsberg and M Schwartzbach, in: Computer Bulletin, 6 (4), September, (London: BCS, 1994).
A J H Simons, Review of: Developing C++ Software, 2nd. Edn., by R Winder, in: Computer Bulletin, 5 (4), September, (London: BCS, 1993).
A J H Simons, Review of: Mastering C++, by C Horstmann, in: Computer Bulletin, edition unknown, (London: BCS, 1993).
A J H Simons, Review of: Building Expert Systems in Prolog, by D Merritt, in: Computer Bulletin, 2 (6), August, (London: BCS, 1990), p27.
A J H Simons, Comparative review of: Introduction to Expert Systems, by P Jackson and Introduction to Expert Systems, by M Gondran, in: Computer Weekly, 4 September, (London, 1986).

Research Reports :: Not Refereed

These represent work in progress, which is often the first place a new idea appears. Some of these are later revised and republished as conference or journal articles.

M P Stannett and A J H Simons, Complete behavioural testing of object-oriented systems using CCS-augmented X-Machines, Department of Computer Science Research Report CS-02-04, (Sheffield: DCS, 2002).
A J H Simons, K Bogdanov and W M L Holcombe, Complete functional testing using Object Machines, Department of Computer Science Research Report CS-01-18, (Sheffield: DCS, 2001).
A J H Simons, Let's agree on the meaning of class, Department of Computer Science Research Report CS-96-26, (Sheffield: DCS, 1996).
A J H Simons, Mixins: typing the superclass interface, Department of Computer Science Research Report CS-95-26, (Sheffield: DCS, 1995).
A J H Simons, A different proposal for making Eiffel type-consistent, Department of Computer Science Research Report CS-95-07, (Sheffield: DCS, 1995). See revised TOOLS paper.
A J H Simons, A visual logic with extensions to set theory, Department of Computer Science Research Report CS-95-08, (Sheffield: DCS, 1995).
A J H Simons, Adding axioms to Cardelli-Wegner subtyping, Department of Computer Science Research Report CS-94-6, (Sheffield: DCS, 1994).
A J H Simons, Low E-K and Ng Y-M, An optimising delivery system for object-oriented software, Department of Computer Science Research Report CS-93-18, (Sheffield: DCS, 1993). Revised and published in Object-Oriented Systems (Chapman and Hall).
A J H Simons and A J Cowling, A proposal for harmonising types, inheritance and polymorphism for object- oriented programming, Department of Computer Science Research Report CS-92-13, (Sheffield: DCS, 1992).
P D Green, L A Boucher, N R Kew and A J H Simons, The Sylk project - final report, Department of Computer Science Research Report CS-92-18, (Sheffield: DCS, 1992).
A J H Simons and G J Dempster, Comparing strategies for male-female vowel normalisation, Department of Computer Science Research Report CS-92-16, (Sheffield: DCS, 1992).
A J H Simons, Brunel: a strongly-typed, portable object-oriented language and programming environment, Department of Computer Science Research Report CS-91-07, (Sheffield: DCS, 1991).
A J H Simons and L A Boucher, Sylk working paper #3: Statistics and objects - issues in representation and admissibility, Department of Computer Science Research Report CS-89-35M, (Sheffield: DCS, 1989).
A J H Simons, Sylk working paper #2: Object-oriented syllable structures, Department of Computer Science Research Report CS-89-34, (Sheffield: DCS, 1989).
A J H Simons, Probe: a programmable object-based environment, Department of Computer Science Research Report CS-88-23, (Sheffield: DCS, 1988).
A J H Simons, Chasing the phoneme, Department of Computer Science Research Report CS-86-6, (Sheffield: DCS, 1986).

Anthony J H Simons, MA PhD