Contents of Don Sannella's public ftp archive
---------------------------------------------

On WWW: http://homepages.inf.ed.ac.uk/dts/pub/

Copyright notice:

   These documents are provided as a means to ensure timely
   dissemination of scholarly and technical work on a non-commercial
   basis. Copyright and all rights therein are maintained by the
   authors or by other copyright holders, notwithstanding that they
   have offered their works here electronically. It is understood that
   all persons copying this information will adhere to the terms and
   constraints invoked by each author's copyright. These works may not
   be reposted without the explicit permission of the copyright
   holder.

For papers published in Springer Lecture Notes in Computer Science:
these publications are copyright Springer-Verlag, see
http://www.springer.de/comp/lncs/index.html for the full volume.

Most papers are supplied in several versions.  Portability to remote
sites and different previewing/output devices is as follows:
	file.pdf is extremely portable
	file.ps is rather portable
	file.dvi is not very portable
These papers are all formatted for A4 paper; where I know about
problems resulting from margins (esp. top margins) that are too narrow
to fit on US-size paper, I have converted the Postscript and PDF
versions to fit.  Please tell me about any problems of this kind that
you may have so that I can do something about them!  If you want to
try doing the conversion yourself, the incantation I use is
	psnup -Pa4 -pletter filea4.ps > fileUS.ps
This requires psnup, which you can download from
	http://www.dcs.ed.ac.uk/home/ajcd/psutils/index.html

Files with names of the form *.gz have been compressed using the Unix
"gzip" program.  Use the Unix "gunzip" program to obtain the
uncompressed version.  Files with names of the form *.ps.gz are in
gzipped postscript format.


SannellaDT.bib
	Latex bib file of my publications.  I guarantee that the
	information in here is accurate and up to date.

SannellaDT.html
	Browsable version of SannellaDT.bib, created using bib2html

abstract-eml.ps
	D. Sannella and A. Tarlecki.  Extended ML: an
	institution-independent framework for formal program
	development.  Proc. Workshop on Category Theory and Computer
	Programming, Guildford, 1985.  Springer LNCS 240, 364-389
	(1986).

amast2002.dvi
amast2002.ps
amast2002.pdf
	D. Aspinall and D. Sannella.  From specifications to code in
	CASL.  Proc. 9th Intl. Conf. on Algebraic Methodology And
	Software Technology, St.-Gilles-les-Bains, Reunion.
	Springer LNCS 2422, 1-14 (2002).

apal.ps
	R. Harper, D. Sannella and A. Tarlecki.  Structured theory
	presentations and logic representations.  Annals of Pure and
	Applied Logic 67:113-160 (1994).

archs-amast.dvi
archs-amast.ps
archs-amast.pdf
	M. Bidoit, D. Sannella and A. Tarlecki.  Architectural
	specifications in CASL.  Proc. 7th Intl. Conference on
	Algebraic Methodology and Software Technology (AMAST'98),
	Manaus.  Springer LNCS 1548, 341-357 (1999).
	See archs.{dvi,ps,pdf} for an extended version of the same
	thing for journal publication.

archs-report.dvi
archs-report.ps
archs-report.pdf
	Long version of the above, published as CoFI methodology note
	M-4, April 1999 and as Report ECS-LFCS-99-407, Laboratory for
	Foundations of Computer Science, Univ.\ of Edinburgh (1999).
	Superceded by archs.{dvi,ps,pdf}.

archs.dvi
archs.ps
archs.pdf
	M. Bidoit, D. Sannella and A. Tarlecki.  Architectural
	specifications in CASL.  Extended version of
	archs-amast.{dvi,ps,pdf}.  Formal Aspects of Computing
	13:252-273 (2002).  Supercedes archs-report.{dvi,ps,pdf}

asl.pdf
	D. Sannella and M. Wirsing.  A kernel language for algebraic
	specification and implementation.  Proc. 1983 Intl. Conf. on
	Foundations of Computation Theory, Borgholm.  Springer
	LNCS 158, 413-427 (1983).

avocs2015.pdf
	R. Atkey and D. Sannella. ThreadSafe: Static analysis for Java
	concurrency. Proc. 15th Intl. Workshop on Automated Verification
	of Critical Systems (AVoCS 2015), Edinburgh. ECEASST 72 (2015).

bcs.ps
	D. Sannella.  Formal program development in Extended ML for
	the working programmer.  Proc. 3rd BCS/FACS Workshop on
	Refinement, Hursley Park, 1990.  Springer Workshops in
	Computing, 99-130 (1991).

beh-equiv.dvi
beh-equiv.ps
beh-equiv.pdf
	M. Hofmann and D. Sannella.  On behavioural abstraction and
	behavioural satisfaction in higher-order logic.  Report
	ECS-LFCS-95-318, Laboratory for Foundations of Computer
	Science, University of Edinburgh (1995).
	This is the full version of a paper in Proc. Joint Conf. on
	Theory and Practice of Software Development, Aarhus.  Springer
	LNCS 915, 247-261 (1995).

beh-equiv-tcs.dvi
beh-equiv-tcs.ps
beh-equiv-tcs.pdf
	This is an extended version of the above, in Theoretical
	Computer Science 167:3-45 (1996).

bkb-festschrift.pdf
	G. Marczy\'nski, D. Sannella and A. Tarlecki. Algebraic
	constructions: a simple framework for complex dependencies and
	parameterisation. International Journal of Software and
        Informatics 9(2):117-139 (2015).

burstall.dvi
burstall.ps
burstall.pdf
	D. Rydeheard and D. Sannella.  Preface to a Collection of
	papers and memoirs celebrating the contribution of Rod Burstall to
	advances in Computer Science.  Formal Aspects of Computing
	13:187-193 (2002).

caap83.pdf
	D. Sannella and R. Burstall. Structured theories in LCF.
	Proc. 8th Colloq. on Trees in Algebra and Programming, L'Aquila.
	Springer LNCS 159, 377-391 (1983).

cai.dvi
cai.ps
cai.pdf
	T. Mossakowski, A. Haxthausen, \dts{} and A. Tarlecki.  CASL
	the Common Algebraic Specification Language: semantics and proof
	theory.  Computing and Informatics 22:285-321 (2003).

casl.dvi
casl.ps
casl.pdf
	E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Br\"uckner,
	P. Mosses, D. Sannella and A. Tarlecki.  CASL: The common
	algebraic specification language.  Theoretical
	Computer Science 286:153-196 (2002).

casl-foundations.ps
	D. Sannella and A. Tarlecki.  Foundations.  This is
	chapter 10 of the book "CASL User Manual" by M. Bidoit and
	P. Mosses.  Springer (2003).

casl-obs.dvi
casl-obs.ps
casl-obs.pdf
	M. Bidoit, D. Sannella and A. Tarlecki.  Observational
	interpretation of CASL specifications.  Mathematical
	Structures in Computer Science 18:325-371 (2008).

casl-refinement.dvi
casl-refinement.ps
casl-refinement.pdf
	T. Mossakowski, D. Sannella and A. Tarlecki.
	A simple refinement language for CASL.  Recent Trends in
	Algebraic Development Techniques: Selected Papers from WADT
	2004, Barcelona.  Springer LNCS 3423, 162-185 (2004).

casl-refinement-scp.pdf
	M. Codescu, T. Mossakowski, D. Sannella and A. Tarlecki.
	Specification refinements: calculi, tools, and applications.
	Science of Computer Programming, 144:1-49 (2017).

cassis2004.dvi
cassis2004.ps
cassis2004.pdf
	D. Aspinall, S. Gilmore, M. Hofmann, D. Sannella and I. Stark.
	Mobile resource guarantees for smart devices.
	Proc. Intl. Workshop on Construction and Analysis of Safe,
	Secure and Interoperable Smart Devices, CASSIS 2004, Marseille. 
	Springer LNCS 3362, 1-26 (2005).

clear-semantics.pdf
	D. Sannella.  A set-theoretic semantics for Clear.  Acta
	Informatica 21:443-472 (1984).

CoFI/	Documents produced for the "Common Framework Initiative"; see
	http://www.brics.dk/Projects/CoFI.

CoFI/eml-summary.ps
	D. Sannella.  Summary of features of the Extended ML
	specification language.

CoFI/clear-summary.ps
	D. Sannella. Summary of features of the Clear specification
	language.

CoFI/constr-impl.ps
	D. Sannella and A. Tarlecki.  Constructor implementations.
	Language design note (1996).

CoFI/higher-order.ps
	D. Sannella and A. Tarlecki.  Specifying and developing
	parameterised programs.  Language design note (1996).

CoFI/bkb-large.ps
	B. Krieg-Br\"uckner and D. Sannella.  Structuring concepts.
	Language design note (1996).

CoFI/bkb-small.ps
	B. Krieg-Br\"uckner and D. Sannella.  Structuring concepts
	in-the-small.  Language design note (1996).

CoFI/types.ps
	D. Sannella and R. Grosu.  Types in specification languages.
	Language design note (1996).

CoFI/behaviour.ps
	M. Bidoit, D. Sannella and A. Tarlecki.  Behavioural
	encapsulation.  Language design note (1996).

CoFI/variables.ps
	D. Sannella.  Variables in Basic Specifications: Overloading
	and Overriding.  Language Design note (1997).

compass-mailing-list
	Mailing list compass-team@dcs.ed.ac.uk for Edinburgh people
	involved in the EC-funded COMPASS Basic Research working
	group.  (The mailing list for all COMPASS members is
	compass-wg@informatik.uni-bremen.de.)

compass.tex.gz
	Source file for the list of references in the book:
	M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas and
	D. Sannella (editors).  Algebraic System Specification and
	Development: A Survey and Annotated Bibliography.  Springer
	LNCS 501 (1991).

computing-surveys.dvi
computing-surveys.ps
computing-surveys.pdf [the official version, see http://www.acm.org/pubs/
	articles/journals/surveys/1999-31-3es/a10-sannella/a10-sannella.pdf]
	D. Sannella and A. Tarlecki.  Algebraic methods for
	specification and formal development of programs.  ACM
	Computing Surveys 31(3es) (1999) .

concepts.dvi
concepts.ps
concepts.pdf
	D. Sannella and A. Tarlecki.  Essential concepts of algebraic
	specification and program development.  Formal Aspects of
	Computing 9:229-269 (1997).

ehrig-memorial.pdf
	D. Sannella and A. Tarlecki. On normal forms for structured
	specifications with generating constraints. Graph Transformations,
	Algebraic Specifications and Nets: In Memory of Hartmut Ehrig.
	Springer LNCS 10800, 266-284 (2018).

eml-final.dvi
eml-final.ps
eml-final.pdf
	S. Kahrs, D. Sannella and A. Tarlecki.  The definition of
	Extended ML, version 1.21 (1997).  This is a revision of
	eml.ps (see below) which is as close to final as it is ever
	likely to get.

eml-methodology.ps
	D. Sannella and A. Tarlecki.  Toward formal development of ML
	programs: foundations and methodology.  Report ECS-LFCS-89-71,
	Laboratory for Foundations of Computer Science, University of
	Edinburgh (1989).
	This is the full version of an extended abstract that appeared
	in Proc. Joint Conf. on Theory and Practice of Software
	Development, Barcelona.  Springer LNCS 352, 375-389 (1989).

eml-overview.ps
	D. Sannella and A. Tarlecki.  Extended ML: past, present and
	future.  Proc. 7th Workshop on Specification of Abstract Data
	Types, Wusterhausen, 1990.  Springer LNCS 534, 297-322 (1991).

eml-popl.pdf
	D. Sannella and A. Tarlecki.  Program Specification and
        Development in Standard ML.  Proc. 12th ACM Symp. on
        Principles of Programming Languages, New Orleans, 67-77 (1985).

eml.ps
	S. Kahrs, D. Sannella and A. Tarlecki.  The definition of
	Extended ML.  Report ECS-LFCS-94-300, Laboratory for
	Foundations of Computer Science, University of Edinburgh
	(1994).

eml.ps.gz
	A compressed version of eml.ps

futatsugi-festschrift.pdf
	T. Mossakowski, W. Pawlowski, D. Sannella and A. Tarlecki.
	Parchments for CafeOBJ logics.  Specification, Algebra, and
	Software: Essays Dedicated to Kokichi Futatsugi.  Springer
	LNCS 8373, 66-91 (2014).

gentle.dvi
gentle.ps
gentle.pdf
	S. Kahrs, D. Sannella and A. Tarlecki.  The definition of
	Extended ML: a gentle introduction.  Report ECS-LFCS-95-322,
	Laboratory for Foundations of Computer Science, University of
	Edinburgh (1995).
gentle-old.ps
	S. Kahrs, D. Sannella and A. Tarlecki.  The semantics of
	Extended ML: a gentle introduction.  Proc. Intl. Workshop on
	Semantics of Specification Languages, Utrecht.  Springer
	Workshops in Computing (1993).
gentle-tcs.dvi
gentle-tcs.ps
gentle-tcs.pdf
	S. Kahrs, D. Sannella and A. Tarlecki.  The definition of
	Extended ML: a gentle introduction.  Theoretical Computer
	Science 173:445-484 (1997).

global-dev.dvi
global-dev.ps
global-dev.pdf
        M. Bidoit, D. Sannella and A. Tarlecki.
	Global development via local observational construction steps.
	Proc. 27th Intl. Symp. on Mathematical Foundations of Computer
	Science, Warsaw.  Springer LNCS 2420, 1-24 (2002).

goguen-festscrift.ps
goguen-festscrift.pdf
	D. Sannella and A. Tarlecki.  Horizontal composability
	revisited.  Algebra, Meaning and Computation: Essays Dedicated
	to Joseph A. Goguen on the Occasion of his 65th Birthday.
	Springer LNCS 4060, 296-316 (2006).

hope-et-ml.pdf
	M. Wirsing and D. Sannella. Une Introduction {\`a} la Programmation
	Fontionnelle: HOPE et ML. Technique et Science Informatiques 6,
	517-525 (1987).

icalp82.pdf
	D. Sannella and M. Wirsing. Implementation of parameterised
	specifications.  Proc. 9th Intl. Colloq. on Automata,
	Languages and Programming, Aarhus.  Springer LNCS 140, 473-488
	(1982).

impl.ps
	D. Sannella and A. Tarlecki.  Toward formal development of
	programs from algebraic specifications: implementations
	revisited.  Acta Informatica 25:233-281 (1988).

inst-asl-conf.pdf
	D. Sannella and A. Tarlecki.  Building specifications in an
	arbitrary institution.  Proc. Intl. Symp. on Semantics of Data
	Types, Sophia-Antipolis. Springer LNCS 173, 337-356 (1984).

inst-asl.pdf
	D. Sannella and A. Tarlecki.  Specifications in an arbitrary
	institution.  Information and Computation 76:165-210 (1988).

interfaces.ps
interfaces.pdf
	S. Kahrs, D. Sannella and A. Tarlecki.  Interfaces and
	Extended ML.  Proc. ACM Workshop on Interface Definition
	Languages, Portland, Oregon (1994).

jlp.pdf
	D. Sannella and L. Wallen.  A calculus for the construction of
	modular Prolog programs.  Journal of Logic Programming 12:147-177
	(1992).

laxlogrel.dvi
laxlogrel.ps
laxlogrel.pdf
	G. Plotkin, J. Power, D. Sannella and R. Tennent.  Lax logical 
	relations.  Proc. 27th Intl. Colloq. on Automata, Languages
	and Programming, Geneva.  Springer LNCS 1853, 85-102 (2000).

logic-rep-in-LF.pdf
	R. Harper, D. Sannella and A. Tarlecki. Logic representation in LF.
	Proc. 3rd Summer Conf. on Category Theory and Computer Science,
	Manchester. Springer LNCS 389, 250-272 (1989).

lopstr99.dvi
lopstr99.ps
lopstr99.pdf
	D. Sannella.  Algebraic specification and program development
	by stepwise refinement.  Proc. 9th Intl. Workshop on
	Logic-based Program Synthesis and Transformation, LOPSTR'99,
	Venice.  Springer LNCS 1817, 1-9 (2000).

mfcs96.dvi
mfcs96.ps
mfcs96.pdf
	D. Sannella and A. Tarlecki.
	Mind the gap! Abstract versus concrete models of
	specifications.  Proc. 21st Intl. Symp. on Mathematical
	Foundations of Computer Science, Cracow.  Springer LNCS 1113,
	114-134 (1996).

mfcs2002.dvi
mfcs2002.ps
mfcs2002.pdf
	P.D.L. Machado and D. Sannella.
	Unit testing for CASL architectural specifications.
	Proc. 27th Intl. Symp. on Mathematical Foundations of Computer
	Science, Warsaw.  Springer LNCS 2420, 506-518 (2002).

mfcs2003.dvi
mfcs2003.ps
mfcs2003.pdf
	J. Hannay, S. Katsumata and D. Sannella.
	Semantic and syntactic approaches to simulation relations.
	Proc. 28th Intl. Symp. on Mathematical Foundations of Computer
	Science, Bratislava.  Springer LNCS 2747, 68-91 (2003).

ml-spec.ps
	D. Sannella.  Formal specification of ML programs.  Report
	LFCS-86-15, Laboratory for Foundations of Computer Science,
	University of Edinburgh (1986).

mod-prolog.tar.gz
	SB-Prolog extended with module facilities patterned after
	those described in:
	D. Sannella and L. Wallen.  A Calculus for the Construction of
	Modular Prolog Programs.  Journal of Logic Programming 12,
	147-178, 1992.
	Author: Brian Paxton

montanari-festschrift.ps
montanari-festschrift.pdf
	D. Sannella and A. Tarlecki.  Observability concepts in
	abstract data type specification, 30 years later.  Concurrency,
	Graphs and Models: Essays Dedicated to Ugo Montanari on the
	Occasion of his 65th Birthday. Springer LNCS (2008).

monterey.dvi
monterey.ps
monterey.pdf
        M. Bidoit, D. Sannella and A. Tarlecki.
	Toward component-oriented formal software development: an
	algebraic approach.  Proc. 9th Monterey Workshop, Radical
	Innovations of Software and Systems Engineering in the Future,
	Venice, October 2002.  Springer LNCS 2941, 75-90 (2004).

mrg-summary.pdf
	D. Sannella, M. Hofmann, D. Aspinall, S. Gilmore, I. Stark,
	L. Beringer, H.-W. Loidl, K. MacKenzie, A. Momigliano and
	O. Shkaravska.  Mobile resource guarantees.  Trends in
	Functional Programming, Vol. 6, 211-226. Intellect (2007).

mtf.ps
	D. Sannella and A. Tarlecki.
	Toward formal development of programs from algebraic
	specifications: model-theoretic foundations.  Proc. 19th
	Intl. Colloq. on Automata, Languages and Programming, Vienna.
	Springer LNCS 623, 656-671 (1992).

mxh-lego.tar.gz
	Complete Lego definitions and proofs for the paper
	"Formal development of functional programs in type theory ---
	a case study" by Martin Hofmann, report ECS-LFCS-92-228,
	Laboratory for Foundations of Computer Science, University of
	Edinburgh (1992).

obs-equiv-conf.pdf
	D. Sannella and A. Tarlecki.  On observational equivalence and
	algebraic specification (extended abstract).  Proc. 10th
	Colloq. on Trees in Algebra and Programming, Intl. Joint
	Conf. on Theory and Practice of Software Development
	(TAPSOFT'85), Berlin.  Springer LNCS185, 308-322 (1985).

obs-equiv.pdf
	D. Sannella and A. Tarlecki.  On observational equivalence and
	algebraic specification.  Journal of Computer and System
	Sciences 34:150-178 (1987).

param.ps
	D. Sannella, S. Soko\l{}owski and A. Tarlecki.  Toward formal
	development of programs from algebraic specifications:
	parameterisation revisited.  Acta Informatica 29, 689-736 (1992).

prelim.dvi
prelim.ps
prelim.pdf
	D. Sannella and A. Tarlecki.  Algebraic preliminaries.  This
	is chapter 2 of the book "Algebraic Foundations of Systems
	Specifications" (E. Astesiano, H.-J. Kreowski and
	B. Krieg-Br\"uckner, editors).  Springer (1999).

prelogrel.dvi
prelogrel.ps
prelogrel.pdf
	F. Honsell and D. Sannella.  Pre-logical relations.
	Proc. Computer Science Logic, CSL'99, Madrid.  Springer
	LNCS 1683, 546-561 (1999).  See prelogrel-long.{dvi,ps,pdf}
	for an extended version of the same thing for journal
	publication.

prelogrel-report.dvi
prelogrel-report.ps
prelogrel-report.pdf
	F. Honsell and D. Sannella.  Pre-logical relations.  Longer
	version of prelogrel.{dvi,ps,pdf}.  Report ECS-LFCS-99-405,
	Laboratory for Foundations of Computer Science, University of
	Edinburgh (1999).  Superceded by prelogrel-long.{dvi,ps,pdf}.

prelogrel-long.dvi
prelogrel-long.ps
prelogrel-long.pdf
	F. Honsell and D. Sannella.  Prelogical relations.  Extended
	version of prelogrel.{dvi,ps,pdf}.  Information and
	Computation 178:23-43 (2002).
	Supercedes prelogrel-report.{dvi,ps,pdf}

problems.ps
	D. Sannella and A. Tarlecki.  Algebraic specification and
	formal methods for program development: what are the real
	problems?  EATCS Bulletin 41:134-137 (1990).
	Reprinted in: Current Trends in Theoretical Computer Science
	(G. Rozenberg and A. Salomaa, eds.).  World Scientific
	Publishing Company, 115-120 (1993).

propsem.pdf
	D. Sannella and A. Tarlecki.  Property-oriented semantics of
	structured specifications.  Mathematical Structures in
	Computer Science, 24(2), e240205, 37 pages (2014).

psi.dvi
psi.ps
psi.pdf
	D. Sannella.  The Common Framework Initiative for algebraic
	specification and development of software.  Proc. 3rd Intl.
	Conf. on Perspectives of System Informatics (PSI'99),
        Novosibirsk.  Springer LNCS 1755, 1-9 (2000).

refinement.dvi
refinement.ps
refinement.pdf
	F. Honsell, J. Longley, D. Sannella and A. Tarlecki.
	Constructive data refinement in typed lambda calculus.
	Proc. 2nd Intl. Conf. on Foundations of Software Science and
	Computation Structures, ETAPS'2000, Berlin.  Springer LNCS
	1784, 149-164 (2000).

refinespec.pdf
        R. Hennicker, D. Sannella, A. Tarlecki and M. Wirsing.
	Entailment for Structured Specifications. In: Towards an
        Encyclopaedia of Proof Systems (Bruno Woltzenlogel Paleo, ed.).
	College Publications, London (2017).

reflections.dvi
reflections.ps
reflections.pdf
	S. Kahrs and D. Sannella.  Reflections on the design of a
	specification language.  Proc. Intl. Colloq. on Fundamental
	Approaches to Software Engineering, ETAPS'98, Lisbon.
	Springer LNCS 1382, 154-170 (1998).

spec-formalism.ps
	D. Sannella and A. Tarlecki.  A kernel specification formalism
	with higher-order parameterisation.  Proc. 7th Workshop on
	Specification of Abstract Data Types, Wusterhausen, 1990.
	Springer LNCS 534, 274-296 (1991).

spec-lang.dvi
spec-lang.ps
spec-lang.pdf
	D. Sannella and M. Wirsing.  Specification languages.  This is
	chapter 8 of the book "Algebraic Foundations of Systems
	Specifications" (E. Astesiano, H.-J. Kreowski and
	B. Krieg-Br\"uckner, editors).  Springer (1999).

spectral.ps
spectral.pdf
	B. Krieg-Br\"uckner and D. Sannella.  Structuring
	specifications in-the-large and in-the-small: higher-order
	functions, dependent types and inheritance in SPECTRAL.
	Proc. Colloq. on Combining Paradigms for Software Development,
	Joint Conf. on Theory and Practice of Software Development
	(TAPSOFT), Brighton.  Springer LNCS 494, 313-336 (1991).
	*** NOTE: This paper was written using Microsoft Word on a
	Macintosh, which seems to produce non-standard Postscript.
	So, don't be too surprised if you can't print it!  The PDF
	version might be more portable.

structspec.pdf
        R. Hennicker, D. Sannella, A. Tarlecki and M. Wirsing.
	Entailment for Structured Specifications. In: Towards an
        Encyclopaedia of Proof Systems (Bruno Woltzenlogel Paleo, ed.).
	College Publications, London (2017).

survey.ps
	D. Sannella.  A survey of formal software development methods.
	Report ECS-LFCS-88-56, Laboratory for Foundations of Computer
	Science, University of Edinburgh (1988).

tapsoft97.dvi
tapsoft97.ps
tapsoft97.pdf
	D. Sannella.  What does the future hold for theoretical
	computer science?  Proc. 7th Intl. Joint Conf. on Theory and
	Practice of Software Development, Lille.  Springer LNCS 1214,
	15-19 (1997).

tgc2010.pdf
	D. Aspinall, R. Atkey, K. MacKenzie and D. Sannella.
	Symbolic and analytical techniques for resource analysis of
	Java bytecode.  Revised Selected Papers, 5th Symposium on
	Trustworthy Global Computing, TGC 2010, Munich.  Springer
        LNCS 6084, 1-22 (2010).

thoughts.ps
	D.Sannella and A.Tarlecki.  Some thoughts on algebraic
	specification.  Proc. 3rd Workshop on Theory and Applications
	of Abstract Data Types, Bremen, 1984.  Springer
	Informatik-Fachberichte 116, 31-38 (1985).

wadt2001.ps
wadt2001.pdf
	D. Sannella.  The Common Framework Initiative for algebraic
	specification and development of software: recent progress.
	Recent Trends in Algebraic Development Techniques: Selected
	Papers from WADT 2001, Genova.  Springer LNCS 2267, 328-343 (2001).

way2019.pdf
	N. Samarin and D. Sannella. A key to your heart: Biometric
	authentication based on {ECG} signals. Who Are You?! Adventures
	in Authentication Workshop (WAY 2019), Santa Clara (2019).

wirsing-festschrift.pdf
	D. Sannella and A. Tarlecki. The foundational legacy of ASL.
	Software, Services and Systems: Essays Dedicated to Martin Wirsing
	on the Occasion of His Emeritation.
	Springer LNCS 8950, 253-272 (2015).
      Name                    Last modified      Size  Description
CoFI/ 2000-09-28 12:43 - bib2html878c5a 2016-08-10 20:04 0 bib2htmlaedd17 2022-05-04 10:29 0 SannellaDT.html-tail 2010-05-27 09:19 16 bib2html878c5a.aux 2016-08-10 20:04 58 bib2htmlaedd17.aux 2022-05-04 10:29 58 compass-mailing-list 1995-10-27 14:49 508 bib2htmlaedd17.blg 2022-05-04 10:29 1.1K bib2html878c5a.blg 2016-08-10 20:04 1.1K US-letter 2004-05-13 12:31 2.0K SannellaDT.html-top 2010-05-27 09:30 3.9K mxh-lego.tar.gz 1992-08-05 09:50 19K tapsoft97.dvi 1997-01-20 13:24 20K computing-surveys.dvi 1999-01-18 14:24 22K bib2html878c5a.bbl 2016-08-10 20:04 28K bib2htmlaedd17.bbl 2022-05-04 10:29 30K psi.dvi 1999-08-16 16:59 34K lopstr99.dvi 2000-03-01 10:17 37K burstall.dvi 2002-09-30 13:46 43K amast2002.dvi 2002-06-06 01:02 54K mfcs2002.dvi 2002-05-18 16:57 57K computing-surveys.ps 1999-01-18 14:26 62K tapsoft97.ps 1997-01-20 13:25 64K reflections.dvi 1998-01-13 16:39 65K monterey.dvi 2003-09-08 13:06 68K prelogrel.dvi 1999-07-09 16:52 69K tapsoft97.pdf 1997-05-15 14:35 69K spectral.pdf 1997-05-16 10:23 71K archs-amast.dvi 1998-10-29 12:48 72K laxlogrel.dvi 2000-04-13 13:43 75K prelogrel-report.dvi 2003-06-18 13:10 76K refinement.dvi 2000-01-12 15:27 77K problems.ps 1996-08-23 15:00 82K problems.pdf 2010-06-07 11:59 88K psi.ps 1999-08-16 17:03 91K SannellaDT.html-old 2009-09-10 10:17 91K burstall.pdf 2002-09-30 13:48 92K casl-refinement.dvi 2004-08-30 10:37 93K prelim.dvi 1999-03-15 00:08 93K SannellaDT.bib-old 2009-11-04 16:30 94K SannellaDT-bib.html 2010-09-27 08:52 103K mfcs96.dvi 1996-05-09 17:00 105K structspec.pdf 2017-08-22 14:25 108K mfcs2003.dvi 2003-06-05 07:00 110K refinespec.pdf 2017-08-22 14:26 110K SannellaDT.bib 2023-05-08 18:31 110K global-dev.dvi 2002-05-29 11:57 118K computing-surveys-fi..> 2008-04-28 09:18 120K computing-surveys.pdf 2000-06-29 12:17 120K archs-report.dvi 1999-04-27 17:19 120K mrg-summary.pdf 2007-06-18 15:53 121K psi.pdf 1999-08-16 17:03 122K archs.dvi 2001-09-19 09:26 122K SannellaDT.html 2023-05-08 18:35 123K interfaces.ps 1996-08-23 14:58 123K param.txt 2011-05-29 15:31 126K cassis2004.dvi 2004-10-05 01:46 127K SannellaDT_bib.html 2023-05-08 18:35 128K spec-lang.dvi 1999-02-25 14:38 131K compass.tex 1994-10-11 09:31 133K prelogrel-long.dvi 2002-08-15 13:36 134K lopstr99.pdf 2000-03-01 10:18 137K thoughts.ps 2003-06-18 13:14 143K beh-equiv.dvi 2003-06-18 13:01 146K gentle.dvi 2003-06-18 13:05 148K interfaces.pdf 2009-11-04 16:28 149K cai.dvi 2003-09-04 17:05 149K lopstr99.ps 2000-03-01 10:17 149K archs-amast.ps 1998-10-29 12:50 150K ml-spec.ps 2003-06-18 13:08 151K reflections.ps 1998-01-13 16:42 153K prelogrel.ps 1999-07-09 16:52 155K gentle-tcs.dvi 1995-10-16 14:48 159K amast2002.pdf 2002-06-06 01:03 161K thoughts.pdf 2010-06-07 12:01 162K ml-spec.pdf 2010-06-07 11:57 168K prelogrel-report.ps 1999-04-23 12:14 169K burstall.ps 2002-09-30 13:46 171K casl.dvi 2001-08-27 12:49 172K reflections.pdf 1998-01-13 16:43 173K wadt2001.pdf 2001-10-12 10:24 175K laxlogrel.ps 2000-08-11 16:33 175K concepts.dvi 1996-08-12 12:49 180K mfcs2002.pdf 2002-05-18 16:59 180K agusti.pdf 2013-04-17 15:08 182K archs-amast.pdf 1998-10-29 12:50 185K prelogrel.pdf 1999-07-09 16:53 193K goguen-festschrift.pdf 2006-03-25 15:02 194K prelogrel-report.pdf 1999-04-23 12:14 196K prelim.ps 1999-03-17 12:07 197K beh-equiv-tcs.dvi 1996-07-23 14:44 202K refinement.pdf 2000-01-12 15:29 207K prelim.pdf 1999-03-17 12:08 215K mtf.ps 2003-06-18 13:09 220K monterey.pdf 2003-09-08 13:06 222K archs-report.ps 1999-04-27 17:20 223K spec-lang.ps 1999-02-25 14:41 228K mtf.pdf 2010-06-07 11:53 228K bcs.ps 2001-04-09 02:01 231K casl-obs.dvi 2007-06-18 15:47 238K survey.ps 2003-06-18 13:13 240K mfcs96.ps 1996-08-23 14:58 241K survey.pdf 2010-06-07 11:53 244K goguen-festschrift.ps 2006-03-25 15:02 249K wirsing-festschrift.pdf 2014-11-17 16:50 254K tgc2010.pdf 2010-04-21 01:02 255K mfcs96.pdf 1997-05-15 15:09 257K global-dev.pdf 2002-05-29 12:01 261K archs-report.pdf 1999-04-30 09:55 261K gentle-conf.ps 1994-03-08 14:17 266K bcs.pdf 2010-06-07 11:55 267K spectral.ps 2003-06-18 13:12 268K spec-formalism.pdf 2010-06-07 11:54 268K spec-formalism.ps 1996-08-23 15:00 272K bkb-festschrift.pdf 2015-08-18 14:05 273K archs.pdf 2001-09-19 09:26 277K eml.ps.gz 1994-08-23 12:29 278K montanari-festschrif..> 2008-04-25 08:41 278K cassis2004.ps 2004-10-05 01:49 283K spec-lang.pdf 1999-02-25 14:42 283K casl-refinement.pdf 2004-08-30 10:37 285K eml-overview.ps 1996-08-23 14:59 286K eml-overview.pdf 2010-06-07 11:55 287K casl-refinement.ps 2004-08-30 10:40 290K prelogrel-long.pdf 2002-08-15 13:44 294K gentle.pdf 1997-05-15 15:07 294K way2019.pdf 2022-05-04 10:00 303K abstract-eml.ps 2001-04-09 02:10 304K mfcs2003.pdf 2003-06-05 07:01 309K propsem.pdf 2013-09-22 14:27 310K abstract-eml.pdf 2010-06-07 11:58 313K gentle-tcs.pdf 1997-05-15 15:05 314K gentle-conf.pdf 2010-06-07 11:50 316K casl.pdf 2001-08-27 12:52 316K concepts.pdf 1998-05-07 14:16 318K beh-equiv.pdf 1997-05-15 14:51 323K amast2002.ps 2002-06-06 11:00 327K cassis2004.pdf 2004-10-05 01:46 327K arch-test.pdf 2002-01-23 01:41 334K concepts.ps 1998-05-07 14:05 335K beh-equiv.ps 2003-06-18 13:00 338K gentle.ps 2003-06-18 13:04 339K ehrig-memorial.pdf 2017-09-01 10:45 346K cai.pdf 2003-09-04 17:06 346K mfcs2002.ps 2002-05-18 16:56 356K gentle-tcs.ps 1995-10-16 14:51 362K monterey.ps 2003-09-08 13:07 378K refinement.ps 2000-01-12 15:27 385K wadt2001.ps 2001-10-12 10:07 388K beh-equiv-tcs.pdf 1997-05-15 14:48 389K casl-foundations.ps 2003-11-27 10:22 394K impl.pdf 2010-06-07 11:23 418K apal.pdf 2010-06-07 11:48 426K avocs2015.pdf 2015-11-18 21:50 429K beh-equiv-tcs.ps 1996-07-23 14:44 432K param.pdf 2010-06-07 11:53 434K casl-obs.pdf 2007-06-15 17:36 439K apal.ps 1996-08-23 14:59 439K param.ps 1996-08-23 14:59 452K archs.ps 2001-09-19 09:26 459K montanari-festschrif..> 2008-04-25 08:42 471K impl.ps 2003-06-18 13:07 474K futatsugi-festschrif..> 2013-11-24 20:46 477K casl-refinement-scp.pdf 2017-04-18 08:17 485K global-dev.ps 2002-05-29 11:59 489K prelogrel-long.ps 2002-08-15 13:41 498K mfcs2003.ps 2003-06-05 07:01 499K casl.ps 2001-08-27 12:51 506K laxlogrel.pdf 2000-04-13 13:45 513K cai.ps 2003-09-04 17:05 540K eml.dvi 2003-06-18 13:02 551K eml-final.dvi 2001-06-07 17:20 568K eml-methodology.pdf 2010-06-07 11:56 574K eml-methodology.ps 1996-08-23 14:58 631K eml-final.pdf 2001-06-07 17:13 680K hope.pdf 2002-06-07 15:42 699K mod-prolog.tar.gz 1992-06-17 10:43 746K casl-obs.ps 2007-06-18 15:47 747K eml.pdf 2010-06-07 11:51 826K eml.ps 2003-06-18 13:02 932K caap83.pdf 2008-08-20 17:13 942K lf-conf.pdf 2010-06-07 11:39 1.0M icalp82.pdf 2008-08-20 17:17 1.0M eml-popl.pdf 2007-05-24 14:05 1.0M asl.pdf 2008-08-20 17:06 1.0M eml-final.ps 2001-06-07 17:03 1.1M obs-equiv-conf.pdf 2008-08-20 17:43 1.1M impl-conf.pdf 2010-06-07 11:22 1.3M logic-rep-in-LF.pdf 2023-05-08 18:29 1.5M inst-asl-conf.pdf 2008-08-20 17:32 1.5M clear-semantics.pdf 2008-08-20 17:26 1.5M obs-equiv.pdf 2008-08-20 17:44 1.8M jlp.pdf 2013-04-25 09:13 1.9M inst-asl.pdf 2008-08-20 17:36 2.8M completeness.pdf 2010-06-07 11:41 2.9M hope-et-ml.pdf 2023-05-08 18:28 4.5M ECS-LFCS-88-64.pdf 2018-07-17 16:09 8.7M