@manual{231,
    month                     = {January},
    year                      = {1980},
    pages                     = {182-196},
    title                     = {{LAMBDA Tutorial Guide}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1980/231},
                   author_ids = {phw},
                 organisation = {UKC}
}

@inproceedings{1229,
    month                     = {October},
    year                      = {1981},
    pages                     = {182-196},
    title                     = {{Pascal-m in Office Information Systems}},
    author                    = {S Cook and S Abramsky},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1981/1229},
             publication_type = {inproceedings},
                submission_id = {28767_999248976},
                   other_year = {1981},
                    booktitle = {Proceedings of the Second International Workshop on office Information Systems},
                       editor = {N Naffah},
                      address = {Couvent Royal de Saint-Maximin, France},
                    publisher = {North-Holland}
}

@inproceedings{232,
    month                     = {May},
    year                      = {1981},
    pages                     = {182-196},
    title                     = {{Applying Micro-Computers in a Local Area Network}},
    author                    = {P.H. Welch and T.E. Schutt},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1981/232},
                   author_ids = {phw},
                    booktitle = {Proceedings of `Local Networks and Distributed Office Systems'', London},
                    publisher = {Online Publications Ltd., Northwood, UK}
}

@inproceedings{233,
    month                     = {March},
    year                      = {1982},
    pages                     = {182-196},
    title                     = {{Byte Streams on a Micro-Computer}},
    author                    = {P.H. Welch and T.E. Schutt},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1982/233},
                   author_ids = {phw},
                    booktitle = {Proceedings of `Structure und Betrieb von Rechensystermen'', Ulm, W. Germany},
                    publisher = {NTG/GO-Fachtogung}
}

@book{404,
    month                     = {January},
    year                      = {1982},
    pages                     = {182-196},
    title                     = {Pascal from BASIC},
    author                    = {P. J. Brown},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1982/404},
                    publisher = {Addison-Wesley}
}

@article{1230,
    month                     = {November},
    year                      = {1983},
    pages                     = {182-196},
    title                     = {{Playing Cards on the PERQ - An Algorithm for Overlapping Rectangles}},
    author                    = {S Cook},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1983/1230},
             publication_type = {article},
                submission_id = {28804_999249182},
                   other_year = {1983},
                      journal = {Software - Practice and Experience},
                       volume = {13},
                       number = {11}
}

@article{234,
    month                     = {January},
    year                      = {1983},
    pages                     = {182-196},
    title                     = {{Estimation of the Order of Dependence in Sequences}},
    author                    = {T.R. Hopkins and J. Kollerstrom and P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1983/234},
                   author_ids = {trh phw},
                      journal = {Applied Statistics},
                       number = {2},
                       volume = {32}
}

@article{235,
    month                     = {December},
    year                      = {1983},
    pages                     = {182-196},
    title                     = {{Parallel Assignment Revisited}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1983/235},
                   author_ids = {phw},
                      journal = {Software Practice and Experience}
}

@book{405,
    month                     = {January},
    year                      = {1984},
    pages                     = {182-196},
    title                     = {Starting with UNIX},
    author                    = {P. J. Brown},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1984/405},
                    publisher = {Addison-Wesley}
}

@article{236,
    month                     = {January},
    year                      = {1984},
    pages                     = {182-196},
    title                     = {{Compiler Servers for the Cambridge Ring}},
    author                    = {P.J. Brown and P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1984/236},
                   author_ids = {pjb phw},
                      journal = {The Coordinated Programme of Research in Distributed Computing Systems (1977..1984) -- Final Report (SERC)}
}

@inproceedings{1231,
    month                     = {September},
    year                      = {1985},
    pages                     = {182-196},
    title                     = {{People and Computers: Designing the Interface}},
    author                    = {P Johnson and S J Cook},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1985/1231},
             publication_type = {inproceedings},
                submission_id = {28826_999249424},
                   other_year = {1985},
                    booktitle = {Proceedings of HCI85: the Conference of the BCS Human Computer Interaction Specialist Group},
                    publisher = {Cambridge University Press}
}

@article{240,
    month                     = {July},
    year                      = {1985},
    pages                     = {182-196},
    title                     = {{Structured Tasking in Ada?}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1985/240},
                   author_ids = {phw},
                      journal = {Ada Letters},
                       number = {1},
                       volume = {5}
}

@techreport{239,
    month                     = {June},
    year                      = {1985},
    pages                     = {182-196},
    title                     = {{The Effect of New Real-Time Software Engineering  Methodologies on Marconi Avionics - Final Report}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1985/239},
                   author_ids = {phw},
                  institution = {Royal Society/SERC Industrial Fellowship (B/IF/43)}
}

@article{237,
    month                     = {January},
    year                      = {1985},
    pages                     = {182-196},
    title                     = {{Five Essays on Occam}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {Also Internal Report, Training Department, GEC Avionics Ltd., Airport Works, Rochester, KENT ME2 1XX.},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1985/237},
                   author_ids = {phw},
                      journal = {Occam User Group Newsletter},
                       volume = {2}
}

@inproceedings{416,
    month                     = {unknown},
    year                      = {1985},
    pages                     = {182-196},
    title                     = {Specification and Verification using Higher-Order Logic},
    author                    = {F. K. Hanna and N. Daeche},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1985/416},
                    booktitle = {Computer Hardware Description Languages and their Applications},
                       editor = {Koomen and Moto-oka},
                    publisher = {North Holland}
}

@article{486,
    month                     = {September},
    year                      = {1986},
    pages                     = {182-196},
    title                     = {Specification and Verification of Digital Systems using Higher-Order Logic},
    author                    = {F. K. Hanna and N. Daeche},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1986/486},
                      journal = {Proc. IEE, Part E}
}

@techreport{199,
    month                     = {January},
    year                      = {1986},
    pages                     = {182-196},
    title                     = {A Generator for {T}uring Machine Simulation Programs             - user's manual},
    author                    = {P.R.J. Asveld and E.A. Boiten},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1986/199},
                  institution = {Universiteit Twente},
                       number = {INF-86-31},
                         type = {Memorandum}
}

@inproceedings{238,
    month                     = {May},
    year                      = {1986},
    pages                     = {182-196},
    title                     = {{A Structured Technique for Concurrent Systems Design in Ada}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1986/238},
                   author_ids = {phw},
                    booktitle = {Ada: Managing the Transition, Proceedings of the Ada-Europe International Conference, Edinburgh},
                    publisher = {Cambridge University Press}
}

@inproceedings{2144,
    month                     = {March},
    year                      = {1986},
    pages                     = {182-196},
    title                     = {Issues in the Implementation of Application Layer Standards},
    author                    = {D W Chadwick},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1986/2144},
             publication_type = {inproceedings},
                    booktitle = {Proceedings of the Open Systems Conference (London)},
                    publisher = {Online Publications}
}

@inproceedings{1233,
    month                     = {unknown},
    year                      = {1986},
    pages                     = {182-196},
    title                     = {{A Compile-time Type Checking System for Smalltalk-80}},
    author                    = {S J Cook and G A Roberts},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1986/1233},
             publication_type = {inproceedings},
                submission_id = {28916_999251973},
                   other_year = {1986},
                    booktitle = {the 3rd Study Sessions on Object-oriented Languages},
                       series = {Bigre+Globule no. 48},
                      address = {Paris, France}
}

@inproceedings{417,
    month                     = {unknown},
    year                      = {1986},
    pages                     = {182-196},
    title                     = {Specification and Verification using Higher-Order Logic: A Case Study},
    author                    = {F. K. Hanna and N. Daeche},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1986/417},
                    booktitle = {Formal Aspects of {VLSI} Design},
                       editor = {Milne and Subrahmanyam},
                    publisher = {North Holland}
}

@techreport{144,
    month                     = {May},
    year                      = {1986},
    pages                     = {182-196},
    title                     = {Proving properties of functions defined on lawful types},
    author                    = {Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1986/144},
                      address = {University of Kent, Canterbury, UK},
       hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/37},
             hensa_ftpaddress = {unix.hensa.ac.uk},
         hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/37.ps.Z},
                  institution = {University of Kent, Computing Laboratory},
                       number = {37*}
}

@inproceedings{1234,
    month                     = {unknown},
    year                      = {1986},
    pages                     = {182-196},
    title                     = {{Modelling Generic User Interfaces with Functional Programs}},
    author                    = {S J Cook},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1986/1234},
             publication_type = {inproceedings},
                submission_id = {29021_999252354},
                   other_year = {1986},
                    booktitle = {Proceedings of HCI'86, the Conference of the BCS Human Computer Interaction Specialist Group},
                       editor = {M D Harrison and A F Monk},
                    publisher = {Cambridge University Press}
}

@inproceedings{418,
    month                     = {unknown},
    year                      = {1986},
    pages                     = {182-196},
    title                     = {Purely Functional Implementation of a Logic},
    author                    = {F. K. Hanna and N. Daeche},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {LNCS 230},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1986/418},
                    booktitle = {Proc. 8th Intnl. Conf. on Automated Deduction},
                    publisher = {Springer Verlag}
}

@article{1232,
    month                     = {March},
    year                      = {1986},
    pages                     = {182-196},
    title                     = {{Languages and Object-oriented Programming}},
    author                    = {S J Cook},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1986/1232},
             publication_type = {article},
                submission_id = {28848_999249526},
                   other_year = {1986},
                      journal = {Software Engineering Journal},
                       volume = {1},
                       number = {2}
}

@incollection{403,
    month                     = {January},
    year                      = {1986},
    pages                     = {182-196},
    title                     = {Viewing Documents on a Screen},
    author                    = {P. J. Brown},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1986/403},
                    booktitle = {CD ROM: the New Papyrus},
                       editor = {Steve Lambert and Suzanne Ropiequet},
                    publisher = {Microsoft Press, Redmond, Wa.}
}

@techreport{142,
    month                     = {November},
    year                      = {1987},
    pages                     = {182-196},
    title                     = {Interactive Functional Programs: a Method and a Formal Semantics},
    author                    = {Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1987/142},
                      address = {University of Kent, Canterbury, UK},
       hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/48},
             hensa_ftpaddress = {unix.hensa.ac.uk},
         hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/48.ps.Z},
                  institution = {University of Kent, Computing Laboratory},
                       number = {48*}
}

@inproceedings{421,
    month                     = {unknown},
    year                      = {1987},
    pages                     = {182-196},
    title                     = {Specification and Verification of Digital Systems},
    author                    = {F. K. Hanna and N. Daeche},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {University of Newcastle upon Type, UK},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1987/421},
                    booktitle = {Proc Conf on Logic and its Application to Computer Science}
}

@inproceedings{242,
    month                     = {June},
    year                      = {1987},
    pages                     = {182-196},
    title                     = {{Emulating Digital Logic using Transputer Networks (Very High Level Parallelism = Simplicity = Performance)}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {sponsored by the CEC ESPRIT Programme},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1987/242},
                      address = {Eindhoven, Netherlands},
                   author_ids = {phw},
                    booktitle = {Proceedings of the Parallel Architectures and Languages Europe International Conference},
                    publisher = {Springer-Verlag},
                       series = {Springer-Verlag Lecture Notes in Computer Science},
                       volume = {258}
}

@inproceedings{2145,
    month                     = {March},
    year                      = {1987},
    pages                     = {182-196},
    title                     = {{FTAM}.  {T}he Development of a Commercial Product.},
    author                    = {D W Chadwick},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1987/2145},
             publication_type = {inproceedings},
                    booktitle = {Proceedings of the Open Systems Conference (London)},
                    publisher = {Online Publications}
}

@inproceedings{488,
    month                     = {October},
    year                      = {1987},
    pages                     = {182-196},
    title                     = {An Algebraic Approach to Computational Logic},
    author                    = {F. K. Hanna and N. Daeche},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1987/488},
                    booktitle = {Proc Workshop on Programming Logic},
                       editor = {P. Dybjer and B. Nordstrom}
}

@inproceedings{1498,
    month                     = {unknown},
    year                      = {1987},
    pages                     = {182-196},
    title                     = {{Implementation of a Relational Language for Microcomputers}},
    author                    = {ALC Cavalcanti and D Florissi and PG Soares and TCS Melo},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {(in Portuguese)},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1987/1498},
             publication_type = {inproceedings},
                submission_id = {481_1028907802},
                   other_year = {1987},
                    booktitle = {7th Conference of the Brazilian Computer Society}
}

@inproceedings{1235,
    month                     = {June},
    year                      = {1987},
    pages                     = {182-196},
    title                     = {{On Including Part Hierarchies in Object-oriented Languages, with an Implementation in Smalltalk}},
    author                    = {E Blake and S J Cook},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1987/1235},
             publication_type = {inproceedings},
                submission_id = {29045_999252545},
                   other_year = {1987},
                    booktitle = {Proceedings of ECOOP'87, European Conference on Object-oriented Programming},
                       series = {LNCS 276},
                      address = {Paris},
                    publisher = {Springer-Verlag}
}

@inproceedings{243,
    month                     = {September},
    year                      = {1987},
    pages                     = {182-196},
    title                     = {{Managing Hard Real-Time Demands on Transputers}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {ISBN 90 5199 002 4},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1987/243},
                      address = {LGI-IMAG, Grenoble, France},
                   author_ids = {phw},
                    booktitle = {Proceedings of OUG 7 Conference and International Workshop on Parallel Programming of Transputer Based Machines},
                       editor = {T. Muntean},
                 organization = {Occam User Group},
                    publisher = {IOS Press, Netherlands}
}

@inproceedings{1499,
    month                     = {unknown},
    year                      = {1987},
    pages                     = {182-196},
    title                     = {{A Language for a Relational Database Management System}},
    author                    = {R Sanches and SS Sette and ALC Cavalcanti and D Florissi and PG Soares and TCS Melo},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {(in Portuguese)},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1987/1499},
             publication_type = {inproceedings},
                submission_id = {560_1028907960},
                   other_year = {1987},
                    booktitle = {2nd Brazilian Symposium on Databases}
}

@inproceedings{241,
    month                     = {May},
    year                      = {1987},
    pages                     = {182-196},
    title                     = {{Parallel Processes as Reusable Components}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1987/241},
                   author_ids = {phw},
                    booktitle = {Ada: Components, Libraries and Tools, Proceedings of the Ada-Europe International Conference, Stockholm},
                    publisher = {Cambridge University Press}
}

@mastersthesis{158,
    month                     = {January},
    year                      = {1988},
    pages                     = {182-196},
    title                     = {Een Syntax Assisted Editor},
    author                    = {E.A. Boiten},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {in Dutch},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1988/158},
                       school = {Universiteit Twente}
}

@article{244,
    month                     = {January},
    year                      = {1988},
    pages                     = {182-196},
    title                     = {{GOTO (Considered Harmful)$^{n}$, n is Odd}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1988/244},
                   author_ids = {phw},
                      journal = {Occam User Group Newsletter},
                       volume = {8}
}

@inproceedings{245,
    month                     = {January},
    year                      = {1988},
    pages                     = {182-196},
    title                     = {{An occam Approach to Transputer Engineering}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1988/245},
                      address = {Pasadena, California, USA},
                   author_ids = {phw},
                    booktitle = {Proceedings of the 3rd. Conference on Hypercube Concurrent Computers and Applications},
                 organization = {ACM},
                    publisher = {ACM Conference Proceedings}
}

@phdthesis{721,
    month                     = {December},
    year                      = {1988},
    pages                     = {182-196},
    title                     = {Concerning {T}-degrees of d-r.e. sets and e-reducibility of $Sigma_2$ sets},
    author                    = {P.R. Watson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1988/721},
                    publisher = {Dept. of Pure Mathematics, University of Leeds}
}

@article{722,
    month                     = {January},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {Weak density and cupping in the d-r.e. degrees},
    author                    = {S.B. Cooper and S. Lempp and P. Watson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/722},
                      journal = {Israel Journal of Mathematics},
                       number = {1},
                       volume = {67}
}

@article{246,
    month                     = {January},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {{Emulating Digital Logic using Transputer Networks (Very High Parallelism = Simplicity = Performance)}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {Published by North-Holland.  This is an updated version of the paper of June 1987.},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/246},
                   author_ids = {phw},
                      journal = {International Journal of Parallel Computing},
                       volume = {9}
}

@inproceedings{2146,
    month                     = {March},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {The Directory - existing services and proposed enhancements},
    author                    = {D W Chadwick},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/2146},
             publication_type = {inproceedings},
                    booktitle = {Proceedings of the Open Systems 89 Conference (London)},
                    publisher = {Blenheim Online Publications}
}

@incollection{1240,
    month                     = {unknown},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {{Visual Programming of User Interfaces}},
    author                    = {S J Cook and S Masnavi},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/1240},
             publication_type = {incollection},
                submission_id = {29161_999253424},
                    booktitle = {Graphics Tools for Software Engineering},
                    publisher = {Cambridge University Press},
                       editor = {A Kilgour and R Earnshaw}
}

@inbook{247,
    month                     = {January},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {Making Reuse Happen -- Component Engineering},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/247},
                   author_ids = {phw},
                      chapter = {Component Engineering in Ada (Some Problems and Some Advice)},
                    publisher = {Peter Peregrinus Ltd.}
}

@inproceedings{252,
    month                     = {April},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {{Graceful Termination -- Graceful Resetting}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {ISBN 90 5199 007 3},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/252},
                      address = {Enschede, Netherlands},
                   author_ids = {phw},
                    booktitle = {Applying Transputer-Based Parallel Machines, Proceedings of OUG 10},
                 organization = {Occam User Group},
                    publisher = {IOS Press, Netherlands}
}

@mastersthesis{31,
    month                     = {September},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {On the Implementation of Functional Programming Languages},
    author                    = {Richard E. Jones},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/31},
                       annote = {Discusses the effects of various optimisations in the G-machine},
                       school = {UKC Computing Laboratory}
}

@techreport{139,
    month                     = {July},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {Cyclic Reference Counting with Local Mark-Scan},
    author                    = {Rafael D Lins},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/139},
                      address = {University of Kent, Canterbury, UK},
       hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/65},
             hensa_ftpaddress = {unix.hensa.ac.uk},
         hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/65.ps.Z},
                  institution = {University of Kent, Computing Laboratory},
                       number = {65*}
}

@proceedings{1239,
    month                     = {unknown},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {ECOOP'89: Proceedings of the 1989 European Conference on Object-oriented Programming},
    author                    = {},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/1239},
             publication_type = {proceedings},
                submission_id = {29133_999253225},
                       editor = {S J Cook (ed)},
                   other_year = {1989},
                    publisher = {Cambridge University Press}
}

@inproceedings{423,
    month                     = {unknown},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {{V}eritas: A {S}pecification {L}anguage based on {T}ype {T}heory},
    author                    = {F. K. Hanna and N. Daeche and M. Longley},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {LNCS},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/423},
                    booktitle = {Proc. Workshop on Hardware Specification, Verification and Synthesis, Mathematical Aspects},
                 organisation = {Cornell University},
                    publisher = {Springer Verlag}
}

@inproceedings{422,
    month                     = {unknown},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {Formal {S}ynthesis of {D}igital {S}ystems},
    author                    = {F. K. Hanna and N. Daeche and M. Longley},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {Leuven, Belgium},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/422},
                    booktitle = {Proc IFIP Intnl. Workshop on Applied Formal Methods for Correct {VLSI} Design},
                       editor = {L. Claesen},
                    publisher = {Elsevier}
}

@inproceedings{253,
    month                     = {September},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {Real-Time Transputer Models of Low-Level Primate Vision},
    author                    = {A.B. Smith and P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {ISBN 90 5199 011 1},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/253},
                      address = {University of Edinburgh, UK},
                   author_ids = {phw},
                    booktitle = {Occam and the Transputer, Research and Applications, Proceedings of OUG 11},
                       editor = {J. Wexler},
                 organization = {Occam User Group},
                    publisher = {IOS Press, Netherlands}
}

@article{141,
    month                     = {July},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {{A Logic for Miranda}},
    author                    = {Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/141},
                      journal = {Formal Aspects of Computing},
                       number = {1},
                         year = {1989}
}

@article{248,
    month                     = {January},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {{Safety First}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/248},
                   author_ids = {phw},
                      journal = {Occam User Group Newsletter},
                       volume = {12}
}

@conference{160,
    month                     = {November},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {Inverting the Flow of Computation in Tree-like Recursive             Functions},
    author                    = {E.A. Boiten},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {Superseded by cite{159}},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/160},
                         ISBN = {90-6196-382-6},
                      address = {Amsterdam},
                    booktitle = {Computing Science in the Netherlands 1989},
                       editor = {P.M.G. Apers and D. Bosman and J. van Leeuwen},
                    publisher = {Stichting Mathematisch Centrum},
                     refereed = {yes}
}

@techreport{138,
    month                     = {September},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {Transputer Data-flow Solution for Systems of Linear Equations},
    author                    = {Tim Hopkins and Peter Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/138},
                      address = {University of Kent, Canterbury, UK},
       hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/68},
             hensa_ftpaddress = {unix.hensa.ac.uk},
         hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/68.ps.Z},
                  institution = {University of Kent, Computing Laboratory},
                       number = {68*}
}

@article{1238,
    month                     = {unknown},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {{Specifying the Apple Macintosh Toolbox Event Manager}},
    author                    = {C T Burton and S J Cook and S Gikas and J R Rowson and S T Sommerville},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/1238},
             publication_type = {article},
                submission_id = {29093_999253053},
                   other_year = {1989},
                      journal = {Formal Aspects of Computing},
                       volume = {1}
}

@inproceedings{249,
    month                     = {January},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {{Transputer Data-Flow Solutions for Systems of Linear Equations}},
    author                    = {P.H. Welch and T.R Hopkins},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/249},
                      address = {Leiden, Netherlands},
                   author_ids = {phw trh},
                    booktitle = {Parallel Computing 1989, Proceedings of the International Conference},
                 organization = {Parallel Computing Society},
                    publisher = {Elsevier, Netherlands}
}

@techreport{140,
    month                     = {June},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {The Parallel Solution of Linear Elliptic Equations using Hopscotch Algorithms},
    author                    = {Mohamed Osama El-Giar and Tim Hopkins},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/140},
                      address = {University of Kent, Canterbury, UK},
       hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/62},
             hensa_ftpaddress = {unix.hensa.ac.uk},
         hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/62.ps.Z},
                  institution = {University of Kent, Computing Laboratory},
                       number = {62*}
}

@article{2322,
    month                     = {April},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {Test-questions Data base and Automatic Assembling and Composing},
    author                    = {Linying Su},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/2322},
             publication_type = {article},
                submission_id = {23125_1134048487},
                   other_year = {1989},
                      journal = {Journal of Inner Mongolia University (Edition of Science)},
                       volume = {20},
                       number = {2}
}

@techreport{733,
    month                     = {January},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {Least sorts in order-sorted term rewriting},
    author                    = {P. Watson and A.J.J. Dick},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/733},
                  institution = {Royal Holloway and Bedford New College, University of London},
                       number = {CSD-TR-606},
                         type = {Technical Report}
}

@inproceedings{251,
    month                     = {April},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {{TRANSNET -- A Transputer-Based Communication Service}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {ISBN 90 5199 002 4},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/251},
                      address = {Enschede, Netherlands},
                   author_ids = {phw},
                    booktitle = {Applying Transputer-Based Parallel Machines, Proceedings of OUG 10},
                 organization = {Occam User Group},
                    publisher = {IOS Press, Netherlands}
}

@inproceedings{1496,
    month                     = {unknown},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {{LindA: A Language for Automated Authoring of Hypertexts}},
    author                    = {J Kelner and ALC Cavalcanti and A Pardo},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/1496},
             publication_type = {inproceedings},
                submission_id = {28834_1028902585},
                   other_year = {1989},
                    booktitle = {3rd Brazilian Symposium on Sofrware Engineering}
}

@inproceedings{1497,
    month                     = {unknown},
    year                      = {1989},
    pages                     = {182-196},
    title                     = {{Denotational Models of Software Systems}},
    author                    = {ALC Cavalcanti and SRL Meira},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {(in Portuguese)},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1989/1497},
             publication_type = {inproceedings},
                submission_id = {416_1028907688},
                   other_year = {1989},
                    booktitle = {9th Conference of the Brazilian Computer Society}
}