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. In Memoriam
	Hartmut Ehrig: On Graph Transformations, Algebraic
	Specifications and Nets. Springer LNCS (2017).

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).

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).

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 developm

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