• Contact
• Maps
• Departments

Navigation menu

School of Computing

• Home
• Research
• Teaching

Studying

• Becoming a postgraduate
• Becoming an undergraduate

Activities

• News
• National & International services
• Seminars
• Schools Liaison
• Outreach
• Kent IT Clinic
• Kent enterprise

Local users

• For current students and staff
• Systems Support

About us

• Contacts - How to find us
• People
  • Staff
  • Research Students
  • Undergraduate (local)
  • Taught Postgraduate (local)
  • Former Staff
  • Former Research Students
  • Student portal (univ)

Search

School of Computing

Publications by Dr Eerke Boiten

Publication period   (1/1986 onwards)   -   ordered by publication type and date

Books

• Refinement in z and object-z: Foundations and advanced applications. John Derrick and Eerke Boiten. Formal Approaches to Computing and Information Technology. Springer, May 2001.

Journal Papers

• Editorial: Special issue on Refine 2009. Eerke Boiten, John Derrick, Jin Song Dong, and Steve Reeves. Formal Aspects of Computing, 24(1):1, January 2012.
• From ODP Viewpoint Consistency to Integrated Formal Methods. Eerke A. Boiten and John Derrick. Computer Standards and Interfaces, page 22, January 2012.
• Preface: Selected papers of the Refinement Workshop Turku (2008). E.A. Boiten, J. Derrick, and G. Schellhorn. Science of Computer Programming, 76(9):737-738, September 2011.
• Incompleteness of relational simulations in the blocking paradigm. Eerke Boiten and John Derrick. Science of Computer Programming, 75:1262-1269, December 2010.
• Editorial: Special issue on REFINE 2007. Eerke Boiten, Michael Butler, John Derrick, and Graeme Smith. Formal Aspects of Computing, 22(1):1, January 2010.
• Preface: Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009). Eerke Boiten, John Derrick, and Steve Reeves. Electronic Notes in Theoretical Computer Science, 259:1, December 2009.
• Relational concurrent refinement: Automata. John Derrick and Eerke Boiten. Electronic Notes in Theoretical Computer Science, 259:21-34, December 2009. Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009).
• Preface: Special Issue on REFINE 2006. Bernhard Aichernig, Eerke A. Boiten, Michael Butler, John Derrick, and Lindsay Groves. Formal Aspects of Computing, 21(1-2):1, February 2009.
• Relational concurrent refinement II: Internal operations and outputs. E.A. Boiten, J. Derrick, and G. Schellhorn. Formal Aspects of Computing, 21(1-2):65-102, February 2009.
• Preface: Refine 2008 proceedings. Eerke A. Boiten, John Derrick, and Gerhard Schellhorn. Electronic Notes in Theoretical Computer Science, 214:1, June 2008.
• More relational refinement: traces and partial relations. J. Derrick and E.A. Boiten. Electronic Notes in Theoretical Computer Science, 214:255-276, May 2008. Proceedings of REFINE 2008 (Turku, May 2008).
• Preface: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). E.A. Boiten, J. Derrick, and G. Smith. Electronic Notes in Theoretical Computer Science, 201:1, February 2008.
• Reduction and refinement. Eerke Boiten and Dan Grundy. Electronic Notes in Theoretical Computer Science, 201C:31-44, February 2008. Proceedings of the BCS-FACS Refinement Workshop, Oxford, 2007. doi 10.1016/j.entcs.2008.02.014.
• Editorial: Proceedings of the 11th BCS-FACS Refinement Workshop, Macao, 2006. B. Aichernig, E.A. Boiten, J. Derrick, and L. Groves. Electronic Notes in Theoretical Computer Science, 187:1, July 2007.
• Relational concurrent refinement with internal operations. J. Derrick and E.A. Boiten. Electronic Notes in Theoretical Computer Science, 187:35-53, July 2007. Proceedings of Refine 2007, the 11th BCS-FACS Refinement Workshop. Editors: B. Aichernig, E.A. Boiten, J. Derrick and L. Groves.
• Editorial: Special issue on Refine 2005. Eerke A. Boiten and Michael Butler. Formal Aspects of Computing, 18(3):263, August 2006.
• Editorial: Special issue on Integrated Formal Methods. Eerke A. Boiten, John Derrick, and Graeme Smith. Formal Aspects of Computing, 17(4):389, December 2005.
• Special Issue on MPC 2002: Foreword. Eerke Boiten and Bernhard M"oller. Science of Computer Programming, 51(1-2):1-2, May 2004.
• Editorial: Special issue on Refinement. Eerke Boiten, Tim Denvir, John Derrick, and Joakim von Wright. Formal Aspects of Computing, 15(2):101-102, November 2003.
• Book review: Concepts in Programming Languages, by John Mitchell. E.A. Boiten. Journal of Functional Programming, 13(6):1087-1088, November 2003.
• Relational concurrent refinement. John Derrick and Eerke Boiten. Formal Aspects of Computing, 15(2-3):182-214, November 2003.
• A relational framework for the integration of specifications. Eerke Boiten and John Derrick. Journal of Integrated Design and Process Science, 7(3):39-48, September 2003.
• A formal framework for viewpoint consistency. H. Bowman, M.W.A. Steen, E.A. Boiten, and J. Derrick. Formal Methods in System Design, 21(2):111-166, September 2002.
• Combining Component specifications in Object-Z and CSP. J Derrick and E Boiten. Formal Aspects of Computing, 13:111-127, May 2002.
• ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. C.N. Taylor, E.A. Boiten, and J. Derrick. IEE Proceedings Software, 149(2):57-63, April 2002.
• Viewpoint consistency in ODP. E.A. Boiten, H. Bowman, J. Derrick, P.F. Linington, and M.W.A. Steen. Computer Networks, 34(3):503-537, August 2000.
• Constructive consistency checking for partial specification in Z. E.A. Boiten, J. Derrick, H. Bowman, and M.W.A. Steen. Science of Computer Programming, 35(1):29-75, September 1999.
• Viewpoints and consistency: translating LOTOS to Object-Z. John Derrick, Eerke Boiten, Howard Bowman, and Maarten Steen. Computer Standards and Interfaces, 21:251-272, August 1999.
• Calculating upward and downward simulations of state-based specifications. John Derrick and Eerke Boiten. Information and Software Technology, 41:917-923, July 1999.
• Testing refinements of state-based formal specifications. John Derrick and Eerke Boiten. Software Testing, Verification and Reliability, (9):27-50, July 1999.
• Strategies for consistency checking based on unification. H. Bowman, E. A. Boiten, J. Derrick, and M. W. A. Steen. Science of Computer Programming, 33:261-298, April 1999.
• Specifying and Refining Internal Operations in Z. John Derrick, Eerke Boiten, Howard Bowman, and Maarten Steen. Formal Aspects of Computing, 10:125-159, December 1998.
• Fixed-point calculus. Mathematics of Program Construction group. Information Processing Letters, 53(3):131-136, February 1995. Special Issue on The Calculational Method. Authors: C. Aarts, R. Backhouse, E. Boiten, H. Doornbos, N. van Gasteren, R. van Geldrop, P. Hoogendijk, E. Voermans and J. van der Woude.
• How to produce correct software - an introduction to formal specification and program development by transformations. E.A. Boiten, H.A. Partsch, D. Tuijnman, and N. V"olker. Computer Journal, 35(6):547-554, December 1992.
• USTOPIA requirements - Thoughts on a User-friendly System for Transformation Of Programs In Abstracto. E.A. Boiten, M.G.J. van den Brand, N.W.P. van Diepen, C.H.A. Koster, H.A. Partsch, and N. V"olker. Periodica Polytechnica Ser. El. Eng., 35(2):101-123, January 1992. Also Technical Report 90-12, Dept. of Informatics, University of Nijmegen.
• Factorisation of the factorial - an example of inverting the flow of computation. E.A. Boiten. Periodica Polytechnica Ser. El. Eng, 35(2):77-99, January 1992.
• Improving recursive functions by inverting the order of evaluation. E.A. Boiten. Science of Computer Programming, 18:139-179, January 1992.

Conference Papers

• Perspicuity and granularity in refinement. E.A. Boiten. In J. Derrick, E.A. Boiten, and S. Reeves, editors, Proceedings 15th International Refinement Workshop, volume 55 of Electronic Proceedings in Theoretical Computer Science, pages 155-165, June 2011.
• Proceedings 15th international refinement workshop. J. Derrick, E.A. Boiten, and S. Reeves, editors, volume 55 of Electronic Proceedings in Theoretical Computer Science, June 2011.
• Relational concurrent refinement: Timed refinement. John Derrick and Eerke Boiten. In Roberto Bruni and Juergen Dingel, editors, Formal Techniques for Distributed Systems, volume 6722 of Lecture Notes in Computer Science, pages 121-137, Reykjavik, June 2011. Springer.
• The logic of large enough. Eerke Boiten and Dan Grundy. In C. Bolduc, J. Desharnais, and B. Ktari, editors, MPC 2010: Mathematics of Program Construction, 10th International Conference, volume 6120 of Lecture Notes in Computer Science, pages 42-57, Heidelberg, June 2010. Springer.
• Security specification: completeness, feasibility, refinement. Eerke A. Boiten. In Jean-Raymond Abrial, Michael Butler, Rajeev Joshi, Elena Troubitsyna, and Jim C. P. Woodcock, editors, Refinement Based Methods for the Construction of Dependable Systems, number 09381 in Dagstuhl Seminar Proceedings, pages 21-25, Dagstuhl, Germany, January 2010. Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, Germany. http://drops.dagstuhl.de/opus/volltexte/2010/2374.
• Modelling divergence in relational concurrent refinement. E.A. Boiten and J. Derrick. In M. Leuschel and H. Wehrheim, editors, IFM 2009: Integrated Formal Methods, volume 5423 of LNCS, pages 183-199. Springer Verlag, February 2009.
• From ABZ to cryptography (abstract). Eerke A. Boiten. In E. Börger, M. Butler, J.P. Bowen, and P. Boca, editors, ABZ 2008, volume 5238 of LNCS, page 353. Springer, September 2008.
• Formal program development with approximations. Eerke A. Boiten and John Derrick. In Helen Treharne, Steve King, Martin Henson, and Steve Schneider, editors, ZB 2005, volume 3455 of Lecture Notes in Computer Science, pages 375-393. Springer, April 2005.
• Refine 2005 workshop. J. Derrick and E. Boiten, editors, volume 137(2) of Electronic Notes in Theoretical Computer Science. Elsevier, April 2005. http://www.sciencedirect.com/science/journal/15710661.
• Towards correspondence carrying specifications. Marius C. Bujorianu and Eerke A. Boiten. In Charles Rattray, Savitri Maharaj, and Carron Shankland, editors, Algebraic Methodology and Software Technology, Proceedings of the 10th International Conference, AMAST 2004, volume 3116 of LNCS, page 15. Springer, July 2004.
• Integrated formal methods, 4th international conference. Eerke A. Boiten, John Derrick, and Graeme Smith, editors, volume 2999 of Lecture Notes in Computer Science. Springer-Verlag, April 2004.
• Exploring UML refinement through unification. E.A. Boiten and M.C. Bujorianu. In J. J"urjens, B. Rumpe, R. France, and E.B. Fernandez, editors, Critical Systems Development with UML - Proceedings of the UML'03 workshop, number TUM-I0323, pages 47-62. Technische Universit"at M"unchen, September 2003.
• Getting to the Bottom of Relational Refinement: Relations and Correctness, Partial and Total. Eerke Boiten and Willem-Paul de Roever. In R. Berghammer and B. M"oller, editors, 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7), pages 82-88. University of Kiel, May 2003.
• Recent advances in refinement. J. Derrick and E.A. Boiten. In E.Borger, A. Gargantini, and E.Riccobene, editors, Abstract State Machines 2003, number 2589 in Lecture Notes in Computer Science, pages 33-56. Springer, March 2003. Invited lecture.
• A framework for UML consistency. John Derrick, David Akehurst, and Eerke Boiten. In L. Kuzniarz, G. Reggio, J. L. Sourrouille, and Z. Huzar, editors, <<UML>> 2002 Workshop on Consistency Problems in UML-based Software Development, pages 30-45, October 2002.
• Unifying concurrent and relational refinement. Eerke Boiten and John Derrick. In John Derrick, Eerke Boiten, Jim Woodcock, and Joakim von Wright, editors, REFINE 02: The BCS FACS Refinement Workshop, volume 70(3) of Electronic Notes in Theoretical Computer Science, page 38. Elsevier Science Publishers, July 2002.
• Mathematics of program construction: Sixth international conference. Eerke A. Boiten and Bernhard M"oller, editors, volume 2386 of Lecture Notes in Computer Science. Springer, July 2002.
• REFINE 2002: The BCS FACS Refinement Workshop. John Derrick, Eerke Boiten, Jim Woodcock, and Joakim von Wright, editors, volume 70(3) of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, July 2002.
• Integration of specifications through development relations. Eerke Boiten and John Derrick. In H. Ehrig, B.J. Kr"amer, and A. Ertas, editors, Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology, page 8. SDPS, June 2002.
• Integrating specifications: Development relations and correspondences. Eerke Boiten. In Hartmut Ehrig and Martin Grosse-Rhode, editors, INT'02: Integration of Software Specification Techniques, ETAPS 2002 Satellite Workshop, page 1, April 2002. Invited Lecture.
• Interpreting ODP viewpoint specifications: Observations from a Case Study. Chris Taylor, Eerke Boiten, and John Derrick. In Bart Jacobs and Arend Rensink, editors, Formal Methods for Open Object-Based Distributed Systems V, pages 61-76. Kluwer Academic Publishers, March 2002.
• Loose specification and refinement in Z. Eerke Boiten. In D. Bert, J.P. Bowen, M.C. Henson, and K. Robinson, editors, ZB 2002: Formal Specification and Development in Z and B, volume 2272 of Lecture Notes in Computer Science, pages 226-241, Grenoble, France, January 2002. Springer.
• Handling inconsistencies in z using quasi-classical logic. Ralph Miarka, John Derrick, and Eerke Boiten. In Didier Bert, Jonathan P. Bowen, Martin C. Henson, and Ken Robinson, editors, ZB2002: Formal Specification and Development in Z and B / Second International Conference of B and Z Users, volume 2272 of Lecture Notes in Computer Science, pages 204-225, Grenoble, France, January 2002. Springer-Verlag Berlin Heidelberg.
• Refinement of objects and operations in Object-Z. John Derrick and Eerke Boiten. In Scott F. Smith and Carolyn L. Talcott, editors, Formal Methods for Open Object-based Distributed Systems IV, pages 257-277. Kluwer Academic Publishers, September 2000.
• A Case Study in Partial Specification: Consistency and Refinement for Object-Z. Chris Taylor, John Derrick, and Eerke Boiten. In Proc. of ICFEM 2000, pages 177-185. IEEE, September 2000.
• Guards, Preconditions, and Refinement in Z. Ralph Miarka, Eerke Boiten, and John Derrick. In Jonathan P. Bowen, Steve Dunne, Andy Galloway, and Steve King, editors, ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users, volume 1878 of Lecture Notes in Computer Science, pages 286-303. Springer-Verlag Berlin, August 2000.
• Liberating data refinement. E.A. Boiten and J. Derrick. In R.C. Backhouse and J.N. Oliveira, editors, Mathematics of Program Construction, 5th International Conference, Ponte de Lima, volume 1837 of Lecture Notes in Computer Science, pages 144-166. Springer, July 2000.
• Non-atomic refinement in Z. J. Derrick and E.A. Boiten. In J.M. Wing, J.C.P. Woodcock, and J. Davies, editors, FM'99 World Congress on Formal Methods in the Development of Computing Systems, volume 1708 of Lecture Notes in Computer Science, pages 1477-1496, Berlin, September 1999. Springer.
• Separating component and context specification using promotion. John Derrick and Eerke Boiten. In K. Araki, A. Galloway, and K. Taguchi, editors, International conference on Integrated Formal Methods 1999 (IFM'99), pages 293-312. Springer, July 1999.
• Consistency of partial process specifications. Maarten Steen, John Derrick, Eerke Boiten, and Howard Bowman. In Armando Haeberer, editor, AMAST'98, page 15. Springer Verlag, January 1999.
• Grey box data refinement. E.A. Boiten and J. Derrick. In J. Grundy, M. Schwenke, and T. Vickers, editors, International Refinement Workshop & Formal Methods Pacific '98, Discrete Mathematics and Theoretical Computer Science, pages 45-59, Canberra, September 1998. Springer-Verlag.
• IO - refinement in Z. E.A. Boiten and J. Derrick. In A Evans, D Duke, and T Clark, editors, 3rd BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing. Springer Verlag, September 1998.
• Testing refinements by refining tests. J. Derrick and E. A. Boiten. In J. P. Bowen, A. Fett, and M. G. Hinchey, editors, ZUM'98: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science, pages 265-283. Springer-Verlag, September 1998.
• Disjunction of LOTOS specifications. M.W.A. Steen, H. Bowman, J. Derrick, and E.A. Boiten. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97, pages 177-192, Osaka, Japan, November 1997. Chapman & Hall.
• Viewpoint consistency in Z and LOTOS: A case study. E. Boiten, H. Bowman, J. Derrick, and M. Steen. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science, pages 644-664. Springer-Verlag, September 1997.
• Coupling schemas: data refinement and view(point) composition. E.A. Boiten, J. Derrick, H. Bowman, and M. Steen. In D.J. Duke and A.S. Evans, editors, 2nd BCS-FACS Northern Formal Methods Workshop, Workshops in Computing, page 18. Springer-Verlag, July 1997.
• Translating LOTOS to Object-Z. J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. In D.J. Duke and A.S. Evans, editors, Northern Formal Methods Workshop, volume 2nd BCS-FACS Northern Formal Methods Workshop of Workshops in Computing. Springer-Verlag, July 1997.
• Weak refinement in Z. J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. In J.P. Bowen, M.G. Hinchey, and D.Till, editors, ZUM '97: The Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science, pages 369-388, Reading, April 1997. Springer-Verlag.
• Issues in multiparadigm viewpoint specification. E. Boiten, H. Bowman, J. Derrick, and M. Steen. In A. Finkelstein and G. Spanoudakis, editors, SIGSOFT '96 International Workshop on Multiple Perspectives in Software Development (Viewpoints '96), pages 162-166. ACM, October 1996.
• Comparing LOTOS and Z refinement relations. J. Derrick, H. Bowman, E.A. Boiten, and M. Steen. In FORTE/PSTV'96, pages 501-516, Kaiserslautern, Germany, October 1996. Chapman & Hall.
• Consistency and refinement for partial specification in Z. E. Boiten, J. Derrick, H. Bowman, and M. Steen. In M.-C. Gaudel and J. Woodcock, editors, FME'96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, volume 1051 of Lecture Notes in Computer Science, pages 287-306. Springer-Verlag, March 1996.
• Viewpoint consistency in ODP, a general interpretation. H. Bowman, E. Boiten, J. Derrick, and M. Steen. In E. Najm and J.-B. Stefani, editors, First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 189-204. Chapman & Hall, March 1996.
• Supporting ODP - translating LOTOS into Z. J. Derrick, E. Boiten, H. Bowman, and M. Steen. In E. Najm and J.-B. Stefani, editors, First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 399-406, Paris, March 1996. Chapman & Hall.
• Unification and multiple views of data in Z. E. Boiten, J. Derrick, H. Bowman, and M. Steen. In J.C. van Vliet, editor, Computing Science in the Netherlands, pages 73-85, Amsterdam, November 1995. Stichting Mathematisch Centrum.
• Transformational derivation of (parallel) programs using skeletons. E.A. Boiten, A.M. Geerling, and H.A. Partsch. In H. Wijshoff, editor, Computing Science in the Netherlands 1993, pages 97-108, Amsterdam, November 1993. Stichting Mathematisch Centrum.
• Parsing in ISBES. E.A. Boiten. In D. Bjorner, M. Broy, and I.V. Pottosin, editors, Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, pages 423-433, Berlin, June 1993. Springer-Verlag.
• Solving a combinatorial problem by transformation of abstract data types. E.A. Boiten. In J. van Leeuwen, editor, Computing Science in the Netherlands 1991, pages 99-108, Amsterdam, November 1991. Stichting Mathematisch Centrum. Also a chapter in PhD thesis.
• Intersections of bags and sets of extended substructures - a class of problems. E.A. Boiten. In B. M"oller, editor, Proceedings of the IFIP TC2 Working Conference on Constructing Programs from Specifications, pages 33-48, Amsterdam, May 1991. North-Holland.
• A note on similarity of specifications and reusability of transformational developments. H.A. Partsch and E.A. Boiten. In B. M"oller, editor, Proceedings of the IFIP TC2 Working Conference on Constructing Programs from Specifications, pages 71-89, Amsterdam, May 1991. North-Holland.
• Inverting the flow of computation in tree-like recursive functions. E.A. Boiten. In P.M.G. Apers, D. Bosman, and J. van Leeuwen, editors, Computing Science in the Netherlands 1989, pages 33-56, Amsterdam, November 1989. Stichting Mathematisch Centrum. Superseded by cite159.

Miscellaneous

• Refine 2007 participants' proceedings. Eerke A. Boiten, John Derrick, and Graeme Smith. Technical Report 4-07, University of Kent, Computing Laboratory, July 2007.
• Input/output abstraction of state based systems. Eerke Boiten. Technical Report 12-04, University of Kent, Computing Laboratory, June 2004.
• Travelling salesman heuristics: Exercises in Haskell. Eerke Boiten. Technical Report 10-04, University of Kent, Computing Laboratory, June 2004.
• Turtle graphics: Exercises in Haskell. Eerke Boiten. Technical Report 11-04, University of Kent, Computing Laboratory, June 2004.
• Doctoral Symposium Proceedings, Integrated Formal Methods 2004. Eerke Boiten, John Derrick, and Graeme Smith. Technical Report 4-04, University of Kent, Computing Laboratory, April 2004.
• Interpreting ODP Viewpoint Specification: Observations from a Case Study. C Taylor, E Boiten, and J Derrick. Technical Report 9-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, UK, September 2001.
• A formal framework for viewpoint consistency (full version). H. Bowman, M.W.A. Steen, E.A. Boiten, and J. Derrick. Computing Laboratory Technical Report 22-99, University of Kent at Canterbury, Canterbury, Kent, CT2 7NZ, December 1999.
• Z unification tools in Generic Formaliser. E. Boiten. Technical Report 10-97*, Computing Laboratory, University of Kent at Canterbury, March 1997.
• Nested collections and polytypism. E.A. Boiten and P.F. Hoogendijk. Computing Science Report 96-17, Department of Computing Science, Eindhoven University of Technology, November 1996.
• Strategies for consistency checking, the choice of unification. Howard Bowman, Eerke Boiten, John Derrick, and Maarten Steen. Technical Report 5-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, February 1996.
• Strategies for consistency checking. Howard Bowman, Eerke Boiten, John Derrick, and Maarten Steen. Technical Report 12-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1995.
• Cross viewpoint consistency in open distributed processing (intra language consistency). Eerke Boiten, Howard Bowman, John Derrick, and Maarten Steen. Technical Report 8-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1995.
• Views of formal program development. E.A. Boiten. PhD thesis, University of Nijmegen, Faculty of Mathematics and Informatics, February 1992. Contains cite159,165,162,161,156. ISBN 90-9004747-6.
• The many disguises of accumulation. E.A. Boiten. Technical Report 91-26, Dept. of Informatics, University of Nijmegen, December 1991.
• Intersections of sets and bags of extended substructures, and Can bag comprehension be used at all?. E.A. Boiten. Technical Report 91-21, Dept. of Informatics, University of Nijmegen, September 1991.
• Factorisation of the factorial - an algorithm discovered by playing with transformations. E.A. Boiten. Technical Report 90-18, Dept. of Informatics, University of Nijmegen, November 1990.
• Een syntax assisted editor. E.A. Boiten. Master's thesis, Universiteit Twente, January 1988. in Dutch.
• A generator for Turing machine simulation programs - user's manual. P.R.J. Asveld and E.A. Boiten. Memorandum INF-86-31, Universiteit Twente, January 1986.