@article{Thomas89,
	title =		"Development Methods for Trusted Computer Systems",
	author =	"Martyn Thomas",
	journal =	"Formal Aspects of Computing",
	volume =	"1",
	number =	"1",
	pages =		"5--18",
	year =		"1989"
}

@article{BackhouseChisomMalcolmSaaman89,
        title =         "Do-It-Yourself Type Theory",
        author =        "Roland Backhouse and Paul Chisholm",
        journal =       "Formal Aspects of Computing",
        volume =        "1",
        number =        "1",
        pages =         "19--84",
        year =          "1989"
}

@article{NielsenHavelundWagnerGeorge89,
        title =         "The {RAISE} Language, Method and Tools",
        author =        "Mogens Nielsen and Klaus Havelund and Kim Ritter
			 Wagner and Chris George ",
        journal =       "Formal Aspects of Computing",
        volume =        "1",
        number =        "1",
        pages =         "85--114",
        year =          "1989"
}

@article{Middleburg89,
        title =         "{VVSL}: A Language for Structured {VDM} Specifications",
        author =        "C A Middelburg",
        journal =       "Formal Aspects of Computing",
        volume =        "1",
        number =        "1",
        pages =         "115--135",
        year =          "1989"
}

@article{BurtonCookGikasRowsonSommerville89,
        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",
        journal =       "Formal Aspects of Computing",
        volume =        "1",
        number =        "2",
        pages =         "147--171",
        year =          "1989"
}

@article{Henson89,
        title =         "Program Development in the Constructive Set
    			 Theory {TK}",
        author =        "Martin C Henson",
        journal =       "Formal Aspects of Computing",
        volume =        "1",
        number =        "2",
        pages =         "173--192",
        year =          "1989"
}

@article{Huntbach89,
        title =         "Meta-interpreters and Partial Evaluation in {Parlog}",
        author =        "Matthew Huntbach",
        journal =       "Formal Aspects of Computing ",
        volume =        "1",
        number =        "2",
        pages =         "193--211",
        year =          "1989"
}

@article{Kwiatkowska89,
        title =         "Event Fairness and Non-interleaving Concurrency",
        author =        "Marta Z Kwiatkowska",
        journal =       "Formal Aspects of Computing",
        volume =        "1",
        number =        "3",
        pages =         "213--228",
        year =          "1989"
}

@article{He89,
        title =         "Process Simulation and Refinement",
        author =        "Jifeng He",
        journal =       "Formal Aspects of Computing",
        volume =        "1",
        number =        "3",
        pages =         "229--241",
        year =          "1989"
}

@article{Holmstrom89,
        title =         "A Refinement Calculus for Specifications in
			 {Hennessy-Milner} Logic with Recursion",
        author =        "{S\"{o}ren} {Holmstr\"{o}m}",
        journal =       "Formal Aspects of Computing",
        volume =        "1",
        number =        "3",
        pages =         "242--272",
        year =          "1989"
}

@article{Walker89, 
        title =         "Automated Analysis of Mutual Exclusion
			 Algorithms using {CCS}",
        author =        "D J Walker",
        journal =       "Formal Aspects of Computing",
        volume =        "1",
        number =        "3",
        pages =         "273--292",
        year =          "1989"
}

@article{DybjerSander89,
        title =         "A Functional Programming Approach to the
			 Specification and Verification of Concurrent Systems",
        author =        "Peter Dybjer and Herbert P Sander",
        journal =       "Formal Aspects of Computing",
        volume =        "1",
        number =        "4",
        pages =         "303--319",
        year =          "1989"
}

@article{Nipkow89,	
        title =         "Term Rewriting and Beyond -- Theorem Proving
			 in {Isabelle} ",
        author =        "Tobias Nipkow",
        journal =       "Formal Aspects of Computing",
        volume =        "1",
        number =        "4",
        pages =         "320--338",
        year =          "1989"
}

@article{Thompson89,
        title =         "A Logic for {Miranda}",
        author =        "Simon Thompson",
        journal =       "Formal Aspects of Computing",
        volume =        "1",
        number =        "4",
        pages =         "339--365",
        year =          "1989"
}

@article{America89,
        title =         "Issues in the Design of a Parallel
			 Object-Oriented Language",
        author =        "Pierre America",
        journal =       "Formal Aspects of Computing",
        volume =        "1",
        number =        "4",
        pages =         "366--411",
        year =          "1989"
}

@article{Oliveira90,
        title =         "A Reification Calculus for Model-Oriented
			 Software Specification",
        author =        "J N Oliveira",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "1",
        pages =         "1--23",
        year =          "1990"
}

@article{CarmoSernadas90,
        title =         "Branching versus Linear Logics Yet Again",
        author =        "Jos\'{e} Carmo and Am\'{\i}lcar Sernadas",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "1",
        pages =         "24--59",
        year =          "1990"
}

@article{Hesselink90a,
        title =         "Command Algebras, Recursion and Program 
		 	 Transformation",
        author =        "Wim H Hesselink",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "1",
        pages =         "60--104",
        year =          "1990"
}

@article{PartschStomp90,
        title =         "A Fast Pattern Matching Algorithm Derived by
			 Transformational and Assertional Reasoning",
        author =        "H A Partsch and F A Stomp",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "2",
        pages =         "109--122",
        year =          "1990"
}

@article{BestDesel90,
        title =         "Partial Order Behaviour and Structure of
			 Petri Nets",
        author =        "Eike Best and {J\"{o}rg} Desel",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "2",
        pages =         "123--138",
        year =          "1990"
}

@article{Hesselink90b,
        title =         "Axioms and Models of Linear Logic",
        author =        "Wim H Hesselink",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "2",
        pages =         "139--166",
        year =          "1990"
}

@article{Misra90,	
        title =         "Equational Reasoning About Nondeterministic 
			 Processes",
        author =        "Jayadev Misra",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "2",
        pages =         "167--195",
        year =          "1990"
}

@article{Hermann90,	
        title =         "Chain Properties of Rule Closures",
        author =        "Miki Hermann",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "3",
        pages =         "207--225",
        year =          "1990"
}

@article{HeLee90,
        title =         "Integrating Predicate Transition Nets with
			 First Order Temporal Logic in  the Specification and
			 Verification of Concurrent Systems",
        author =        "Xudong He and John A N Lee",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "3",
        pages =         "226--246",
        year =          "1990"
}

@article{BackWright90,
        title =         "Refinement Concepts Formalised in Higher
			 Order Logic",
        author =        "R J R Back and J von Wright",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "3",
        pages =         "247--272",
        year =          "1990"
}

@article{LengauerSanders90,
        title =         "The Projection of Systolic Programs",
        author =        "C Lengauer and J W Sanders",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "3",
        pages =         "273--293",
        year =          "1990"
}

@article{LinPong90,
        title =         "Modelling Multiple Inheritance with Colimits",
        author =        "Huimin Lin and Man-chi Pong",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "4",
        pages =         "301--311",
        year =          "1990"
}

@article{Ah-kee90,
        title =         "Proof Obligations for Blocks and Procedures",
        author =        "Alain Ah-kee",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "4",
        pages =         "312--330",
        year =          "1990"
}

@article{Stannett90,
        title =         "X-Machines and the Halting Problem: Building
			 a {Super-Turing} Machine",
        author =        "Mike Stannett",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "4",
        pages =         "331--341",
        year =          "1990"
}

@article{SoparkarSilberschatz90,
        title =         "On the Interconnection Constants of {Hopfield} Nets",
        author =        "Nandit Soparkar and Abraham Silberschatz",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "4",
        pages =         "342--358",
        year =          "1990"
}

@article{Chapman90,
        title =         "Defining, Analysing and Implementing
			 Communication Protocols Using Attribute Grammars ",
        author =        "N P Chapman",
        journal =       "Formal Aspects of Computing",
        volume =        "2",
        number =        "4",
        pages =         "359--392",
        year =          "1990"
}

@article{OweDahl91,
        title =         "Generator Induction in Order Sorted Algebras",
        author =        "Olaf Owe and Ole-Johan Dahl ",
        journal =       "Formal Aspects of Computing",
        volume =        "3",
        number =        "1",
        pages =         "2--20",
        year =          "1991"
}

@article{Broy91,		
        title =         "Towards a Formal Foundation of the
			 Specification and Description Language {SDL}",
        author =        "Manfred Broy",
        journal =       "Formal Aspects of Computing",
        volume =        "3",
        number =        "1",
        pages =         "21--57",
        year =          "1991"
}

@article{StepneyWhitleyCooperGrant91,
        title =         "A Demonstrably Correct Compiler",
        author =        "Susan Stepney and Dave Whitely and David Cooper and
			 Colin Grant",
        journal =       "Formal Aspects of Computing",
        volume =        "3",
        number =        "1",
        pages =         "58--101",
        year =          "1991"
}

@article{Barrett91,
        title =         "The Fixed Point Theory of Unbounded Non-Determinism",
        author =        "Geoff Barrett",
        journal =       "Formal Aspects of Computing",
        volume =        "3",
        number =        "2",
        pages =         "110--128",
        year =          "1991"
}

@article{Cusack91,	
        title =         "Refinement, Conformance and Inheritance",
        author =        "Elspeth Cusack",
        journal =       "Formal Aspects of Computing",
        volume =        "3",
        number =        "2",
        pages =         "129--141",
        year =          "1991"
}

@article{BaetenBergstra91,
        title =         "Real Time Process Algebra",
        author =        "J C M Baeten and J A Bergstra",
        journal =       "Formal Aspects of Computing",
        volume =        "3",
        number =        "2",
        pages =         "142--188",
        year =          "1991"
}

@article{Sanders91,
        title =         "Eliminating the Substitution Axiom from {UNITY} Logic",
        author =        "Beverly Sanders",
        journal =       "Formal Aspects of Computing",
        volume =        "3",
        number =        "2",
        pages =         "189--205",
        year =          "1991"
}

@article{Hedberg91,	
        title =         "Normalising the Associative Law: An
			 Experiment with {Martin-L\"{o}f's} Type Theory",
        author =        "Michael Hedberg",
        journal =       "Formal Aspects of Computing",
        volume =        "3",
        number =        "3",
        pages =         "218--252",
        year =          "1991"
}

@article{AlagarRamanathan91,
        title =         "Functional Specification and Proof of
			 Correctness for Time Dependent Behaviour of 
		 	 Reactive Systems",
        author =        "Vangalur S Alagar and Greetha Ramanathan",
        journal =       "Formal Aspects of Computing",
        volume =        "3",
        number =        "3",
        pages =         "253--283",
        year =          "1991"
}

@article{QinLewis91,
        title =         "Factorisation of Finite State Machines under
			 Strong and Observational Equivalences",
        author =        "Huajun Qin and Philip Lewis",
        journal =       "Formal Aspects of Computing",
        volume =        "3",
        number =        "3",
        pages =         "284--307",
        year =          "1991"
}

@article{Baumann91,	
        title =         "Towards a Semantics-Based Information Theory ",
        author =        "Peter Baumann",
        journal =       "Formal Aspects of Computing",
        volume =        "3",
        number =        "4",
        pages =         "315--325",
        year =          "1991"
}

@article{Hennicker91,	
        title =         "Context Induction: A Proof Principle for
		       Behavioural Abstractions and Algebraic Implementations",
        author =        "Rolf Hennicker",
        journal =       "Formal Aspects of Computing",
        volume =        "3",
        number =        "4",
        pages =         "326--345",
        year =          "1991"
}

@article{Hennessy91,	
        title =         "A Proof Sustem for Communicating Processes
			 with Value-Passing",
        author =        "M Hennessy",
        journal =       "Formal Aspects of Computing",
        volume =        "3",
        number =        "4",
        pages =         "346--366",
        year =          "1991"
}

@article{Middelburg92,
        title =         "Modular Structuring of {VDM} Specifications in {VVSL}",
        author =        "C A Middelburg",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "1",
        pages =         "13--47",
        year =          "1992"
}

@article{George92,
        title =         "The {NDB} Database Specified in the {RAISE}
			 Specification Language",
        author =        "Chris George",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "1",
        pages =         "48--75",
        year =          "1992"
}

@article{Hayes92,	
        title =         "{VDM} and {Z}: A Comparative Case Study",
        author =        "Ian Hayes",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "1",
        pages =         "76--99",
        year =          "1992"
}

@article{Kazmierczak92,
        title =         "Modularising the Specification of a Small
			 Database System in Extended {ML}",
        author =        "Edmund Kazmierczak",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "1",
        pages =         "100--142",
        year =          "1992"
}

@article{Abdulla92,	
        title =         "Automatic Verification of a Class Systolic Circuits",
        author =        "Parosh Abdulla",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "2",
        pages =         "149--194",
        year =          "1992"
}

@article{LukkienSnepscheut92,
        title =         "Weakest Preconditions for Progress",
        author =        "Johan J Lukkien and Jan van de Snepscheut",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "2",
        pages =         "195--236",
        year =          "1992"
}

@article{FiadeiroMaibaum92,
        title =         "Temporal Theories as Modularisation Units for
			 Concurrent System Specification",
        author =        "J Fiadeiro and T Maibaum",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "3",
        pages =         "239--272",
        year =          "1992"
}

@article{AndersonGouda92,
        title =         "A Criterion for Atomicity",
        author =        "James H Anderson and Mohamed G Gouda",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "3",
        pages =         "273--298",
        year =          "1992"
}

@article{Fisher92,	
        title =         "A Model Checker for Linear Time Temporal Logic",
        author =        "Michael Fisher",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "3",
        pages =         "299--319",
        year =          "1992"
}

@article{Owe92,
        title =         "Axiomatic Treatment of Processes with shared
			 Variables Revisited",
        author =        "Olaf Owe",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "4",
        pages =         "323--340",
        year =          "1992"
}

@article{FassbenerVogler92, 
        title =         "An Implementation of Syntax Directed
			 Functional Programming on Nested-Stack Machines",
        author =        "Heinz Fassbender and Heiko Vogler",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "4",
        pages =         "341--375",
        year =          "1992"
}

@article{AmericaRutten92,
        title =         "A Layered Semantics for a Parallel
			 Object-Oriented Language",
        author =        "Pierre America and Jan Rutten",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "4",
        pages =         "376--408",
        year =          "1992"
}

@article{Meertens92,	
        title =         "Paramorphisms",
        author =        "Lambert Meertens",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "5",
        pages =         "413--424",
        year =          "1992"
}

@article{Seldin92,	
        title =         "Coquand's Calculus of Constructions: A
		       Mathematical Foundation for a Proof Development System",
        author =        "Jonathan P Seldin",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "5",
        pages =         "425--441",
        year =          "1992"
}

@article{LiuJoseph92,	
        title =         "Transformation of Programs for Fault-Tolerance",
        author =        "Zhimming Liu and Mathai Joseph",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "5",
        pages =         "442--469",
        year =          "1992"
}

@article{Hindley92,
        title =         "Types with Intersection: An Introduction",
        author =        "J Roger Hindley",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "5",
        pages =         "470--486",
        year =          "1992"
}

@article{KayLupton92,
        title =         "Sequential to Parallel Buffer Refinement
			(Short Communication)",
        author =        "Andrew Kay and Peter Lupton",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "5",
        pages =         "487--492",
        year =          "1992"
}

@article{OravaParrow92,	
        title =         "An Algebraic Verification of a Mobile Network",
        author =        "Frederik Orava and Jaochim Parrow",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "6",
        pages =         "497--543",
        year =          "1992"
}

@article{BoudrigaElloumiMili92,
        title =         "On the Lattice of Specifications:
			 Applications to a Specification Methodology",
        author =        "Noureddine Boudriga and Fathi Elloumi and Ali Mili",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "6",
        pages =         "544--571",
        year =          "1992"
}

@article{BestCherkasovaDesel92,
        title =         "Compositional Generation of Home States in
			 Free Choice Nets",
        author =        "Eike Best and Ludmila Cherkasova and Jorg Desel",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "6",
        pages =         "572--581",
        year =          "1992"
}

@article{FrancezBackKurki-Suonio92,
        title =         "On Equivalence-Completions of Fairness Assumtions",
        author =        "Nissim Francez and Ralph J J Back and Reino Kurki-Suonio ",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "6",
        pages =         "582--591",
        year =          "1992"
}

@article{Russinoff92,
        title =         "A Verification System for Current Programs
			 Based on the {Boyer-Moore} Prover",
        author =        "David M Russinoff",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "6A",
        pages =         "597--611",
        year =          "1992"
}

@article{PomelloSimone92,
        title =         "An Algebraic Characterisation of Elementary
			 Net System (Observable) State Space",
        author =        "L Pomello and C Simone",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "6A",
        pages =         "612--637",
        year =          "1992"
}

@article{BalcazarGabarroSantha92,
        title =         "Deciding Bisimilarity is {P-Complete}",
        author =        "Jose Balcazar and Joaquim Gabarro and Miklos Santha",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "6A",
        pages =         "638--648",
        year =          "1992"
}

@article{Shields92,
        title =         "Multitraces, Hypertraces and Partial Order Semantics",
        author =        "M W Shields",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "6A",
        pages =         "649--672",
        year =          "1992"
}

@article{Fokkinga92,	
        title =         "Calculate Categorically!",
        author =        "Maarten M Fokkinga",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "6A",
        pages =         "673--692",
        year =          "1992"
}

@article{Burton92,	
        title =         "Program Morphisms",
        author =        "C T P Burton",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "6A",
        pages =         "693--726",
        year =          "1992"
}

@article{MizunoSchmidt92,
        title =         "A Security Flow Control Algorithm and Its
			 Denotational Semantics Correctness Proof",
        author =        "Masaaki Mizuno and David Schmidt",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "6A",
        pages =         "727--754",
        year =          "1992"
}

@article{BevierYoung92,	
        title =         "Machine Checked Proofs of the Design of a
			 Fault-Tolerance Circuit",
        author =        "William R Bevier and William D Young",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "6A",
        pages =         "755--775",
        year =          "1992"
}

@article{Fokker92,
        title =         "The Systematic Construction of a
			 One-Combinator Basis for Lambda-Terms",
        author =        "Jeroen Fokker",
        journal =       "Formal Aspects of Computing",
        volume =        "4",
        number =        "6A",
        pages =         "776--780",
        year =          "1992"
}

@article{CleavelandHennessy93,	
        title =         "Testing Equivalence as a Bisimulation Equivalence",
        author =        "Rance Cleaveland and Matthew Hennessy",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "1",
        pages =         "1--20",
        year =          "1993"
}

@article{LentfertSwierstra93,
        title =         "Distributed Maximum Maintenance on
			 Hierarchically Divided Graphs",
        author =        "P J A Lentfert and S D Swierstra",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "1",
        pages =         "21--60",
        year =          "1993"
}

@article{BirdMoor93,
        title =         "List Partitions",
        author =        "R S Bird and O de Moor",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "1",
        pages =         "61--78",
        year =          "1993"
}

@article{MassartDevillers93,
	title =         "Equality of Agent Expressions is preserved
			 Under an Extension of the Universe of Actions",
        author =        "T Massart and R Devillers",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "1",
        pages =         "79--88",
        year =          "1993"
}

@article{BucciInverardiMartini93,
        title =         "An `Executable' Impredicative Semantics for
			 the {Ada} Configuration",
        author =        "A Bucci and P Inverardi and S Martini",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "2",
        pages =         "91--120",
        year =          "1993"
}

@article{Weber-Wulff93,
        title =         "Proof Movie -- A Proof with the {Boyer-Moore} Prover",
        author =        "Debora Weber-Wulff",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "2",
        pages =         "121--151",
        year =          "1993"
}

@article{Williams93,
        title =         "The Applicability of Discrete Performance
			 Estimation Methods to {VLSI} Design",
        author =        "Alan Williams",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "2",
        pages =         "152--176",
        year =          "1993"
}

@article{Hense93,
        title =         "Denotational Semantics of an Object-Oriented
				Programming Language with Explicit Wrappers",
        author =        "Andreas V Hense",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "3",
        pages =         "181--207",
        year =          "1993"
}

@article{Owe93,
        title =         "Partial Logics Reconsidered: A Conservative Approach",
        author =        "Olaf Owe",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "3",
        pages =         "208--223",
        year =          "1993"
}

@article{QuemadaFrutosAzcorra93,
        title =         "{TIC}: A {TImed} Calculus",
        author =        "Juan Quemada and David de Frutos and Arturo Azcorra",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "3",
        pages =         "224--252",
        year =          "1993"
}

@article{MiguelFernandezVidaller93,
        title =         "{LOTOS} Extended with Probablistic Behaviours",
        author =        "Carlos Miguel and Angel Fern\'{a}ndez and
			Leon Vidaller",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "3",
        pages =         "253--281",
        year =          "1993"
}

@article{StoddartKnaggs93,
        title =         "Type Inference in Stack Based Languages",
        author =        "Bill Stoddart and Peter J Knaggs",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "4",
        pages =         "289--298",
        year =          "1993"
}

@article{MukherjeeStavridou93,
        title =         "The Formal Specification of Safety
			Requirements for Storing Explosives",
        author =        "Paul Mukherjee and Victoria Stavridou",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "4",
        pages =         "299--336",
        year =          "1993"
}

@article{Dennis-JonesRydeheard93,
        title =         "Categorical {ML} --
			Category-Theoretic Modular Programming",
        author =        "Esther Dennis-Jones and David E Rydeheard",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "4",
        pages =         "337--366",
        year =          "1993"
}

@article{GardinerMorgan93,		
        title =         "A Single Complete Rule for Data Refinement",
        author =        "P H B Gardiner and Carroll Morgan",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "4",
        pages =         "367--382",
        year =          "1993"
}

@article{Weber93,		
        title =         "Definition and Basic Properties of the
			{Deva Meta-Calculus}",
        author =        "Matthias Weber",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "5",
        pages =         "391--431",
        year =          "1993"
}

@article{HennessyIngolfsdottir93,		
        title =         "Communicating Processes with Value-passing and
			Assignments", 
        author =        "M Hennessy and A Ing\'{o}lfsd\'{o}ttir",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "5",
        pages =         "432--466",
        year =          "1993"
}

@article{Brebner93,		
        title =         "A {CCS-based} Investigation of Deadlock in a
			Multi-process Electronic Mail System",
        author =        "Gordon Brebner",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "5",
        pages =         "467--478",
        year =          "1993"
}

@article{BaetenBergstra93,		
        title =         "Real Space Process Algebra",
        author =        "J C M Baeten and J A Bergstra",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "6",
        pages =         "481--529",
        year =          "1993"
}

@article{DaviesSchneider93,		
        title =         "Recursion Induction for Real-Time Processes",
        author =        "Jim Davies and Steve Schneider",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "6",
        pages =         "530--553",
        year =          "1993"
}

@article{Hesselink93,		
        title =         "Proof Rules for Recursive Procedures",
        author =        "Wim H Hesselink",
        journal =       "Formal Aspects of Computing",
        volume =        "5",
        number =        "6",
        pages =         "554--570",
        year =          "1993"
}

@article{StaplesRobinsonHazel94,		
        title =         "A Functional Logic for Higher Level Reasoning
	About Computation",
        author =        "John Staples and Peter J Robinson and Daniel Hazel",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "1",
        pages =         "1--38",
        year =          "1994"
}

@article{Nickolas94,		
        title =         "The Completeness of Functional Logic",
        author =        "Peter Nickolas",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "1",
        pages =         "39--59",
        year =          "1994"
}

@article{Moore94,		
        title =         "A Formal Model of Asynchronous Communication
	and its Use in Mechanically Verifying a Biphase Mark Protocol",
        author =        "J Strother Moore",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "1",
        pages =         "60--91",
        year =          "1994"
}

@article{BrunsAnderson94,		
        title =         "The Formalization and Analysis of a
	Communications Protocol",
        author =        "Glenn Bruns and Stuart Anderson",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "1",
        pages =         "92--112",
        year =          "1994"
}

@article{GrootePonse94,		
        title =         "Process Algebra with Guards: Combining Hoare
	Logic with Process Algebra",
        author =        "Jan Friso Groote and Alban Ponse",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "2",
        pages =         "115--164",
        year =          "1994"
}

@article{BoudolCastellaniHennessyKiehn94,		
        title =         "A Theory of Processes with Localities",
        author =        "G Boudol and I Castellani and M Hennesy and A Kiehn",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "2",
        pages =         "165--200",
        year =          "1994"
}

@article{Aceto94,		
        title =         "A Static View of Localities",
        author =        "Luca Aceto",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "2",
        pages =         "201--222",
        year =          "1994"
}

@article{Antoniou94,		
        title =         "The Verification of Modules",
        author =        "Grigoris Antoniou",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "2",
        pages =         "223--244",
        year =          "1994"
}

@article{BeatenBergstra94,		
        title =         "On Sequential Compoisiton, Action Prefixes
		  and Process Prefixes",
        author =        "J C M Baeten and J A Bergstra",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "3",
        pages =         "250--268",
        year =          "1994"
}

@article{AmericaBoer94,		
        title =         "Reasoning about Dynamically Evolving Process
		  Structures",
        author =        "Pierre America and Frank de Boer",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "3",
        pages =         "269--316",
        year =          "1994"
}

@article{Bloom94,		
        title =         "When is Partial Trace Equivalence Adequate?",
        author =        "Bard Bloom",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "3",
        pages =         "317--338",
        year =          "1994"
}

@article{BrinkBritzSchmidt94,		
        title =         "Peirce Algebras",
        author =        "Chris Brink and Katarina Britz and Renate A Schmidt",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "3",
        pages =         "339--358",
        year =          "1994"
}

@article{Russinoff94,		
        title =         "A Mechanically Verified Incremental Garbage Collector",
        author =        "David M Russinoff",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "4",
        pages =         "359--390",
        year =          "1994"
}

@article{LieberherrHurschXiao94,		
        title =         "Object-Extending Class Transformations",
        author =        "Karl J Lieberherr and Walter L H{\"u}rsch and
		  Cun Xiao",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "4",
        pages =         "391--416",
        year =          "1994"
}

@article{WrayStewart94,		
        title =         "Correct Translation of Data Parallel
		  Assignment onto Array Processors",
        author =        "J P Wray and A Stewart",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "4",
        pages =         "417--439",
        year =          "1994"
}

@article{Dybjer94,		
        title =         "Inductive Families",
        author =        "Peter Dybjer",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "4",
        pages =         "440--465",
        year =          "1994"
}

@article{Prasetya94,		
        title =         "Error in the UNITY Rule for Subscripted
		  Operators (Short Communication)",
        author =        "I S W B Prasetya",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "4",
        pages =         "466--470",
        year =          "1994"
}

@article{PittByers94,		
        title =         "The Rest Says Unchanged (Concurrency and
		  State-Based Specification)",
        author =        "David Pitt and Paddy Byers",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "5",
        pages =         "471--494",
        year =          "1994"
}

@article{Sistla94,		
        title =         "Safety, Liveness and Fairness in Temporal Logic",
        author =        "A Prasad Sistla",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "5",
        pages =         "495--512",
        year =          "1994"
}

@article{HanssonJonsson94,		
        title =         "A Logic for Reasoning about Time and Reliability",
        author =        "Hans Hansson and Bengt Jonsson",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "5",
        pages =         "512--535",
        year =          "1994"
}

@article{Tofts94,		
        title =         "Processes with Probablities, Priority and Time",
        author =        "Chris Tofts",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "5",
        pages =         "536--564",
        year =          "1994"
}

@article{Larsen94,		
        title =         "Repsonse to ``The Formal Specification of
		  Safety Requirements for Storing Explosives'' (Short Communication)",
        author =        "Peter Gorm Larsen",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "5",
        pages =         "565--568",
        year =          "1994"
}

@article{HoustonJosephs94,		
        title =         "Specifying Distributed CICS in Z: Accessing
		  Local and Remote Resources (Short Communication)",
        author =        "Iain S C Houston and Mark B Josephs",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "5",
        pages =         "569--579",
        year =          "1994"
}

@article{Lamport94,		
        title =         "How to Write a Long Formula (Short Communication)",
        author =        "Leslie Lamport",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "5",
        pages =         "580--584",
        year =          "1994"
}

@article{LarsenPlatToetenel94,		
        title =         "A Formal Semantics of Data Flow Diagrams",
        author =        "Peter Gorm Larsen and Nico Plat and Hans Toetenel",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "6",
        pages =         "586--606",
        year =          "1994"
}

@article{Chandy94,		
        title =         "Properties of Concurrent Programs",
        author =        "K Mani Chandy",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "6",
        pages =         "607--619",
        year =          "1994"
}

@article{AvronSasson94,		
        title =         "Stability, Sequentiality and Demand Driven
		  Evaluation in Dataflow",
        author =        "Arnon Avron and Nada Sasson",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "6",
        pages =         "620--642",
        year =          "1994"
}

@article{JifengBowen94,		
        title =         "Specification, Verification and Prototyping
		  of an Optimized Compiler",
        author =        "He Jifeng and Jonathan Bowen",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "6",
        pages =         "643--658",
        year =          "1994"
}

@article{Minamide94,		
        title =         "Sharing Analysis Based on Type Interface",
        author =        "Yasuhiko Minamide",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "6",
        pages =         "659--675",
        year =          "1994"
}

@article{InveradiPriamiYankelevich94,		
        title =         "Automatizing Parametric Reasoning on
		  Distributed Concurrent Systems",
        author =        "Paola Inverardi and Corrado Priami and Daniel
		  Yankelevich",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "6",
        pages =         "676--695",
        year =          "1994"
}

@article{Stannett94,		
        title =         "Infinite Concurrent Systems-I. The
		  Relationship between Metric and Order Convergence",
        author =        "Mike Stannett",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "6",
        pages =         "696--715",
        year =          "1994"
}

@article{StompRoever94,		
        title =         "A Principle for Sequential Reasoning about
		  Distributed Algorithms",
        author =        "F A Stomp and W-P de Roever",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "6",
        pages =         "716--737",
        year =          "1994"
}

@article{AptMarchiori94,		
        title =         "Reasoning About Prolog Programs: From Modes
		  Through Types to Assertions",
        author =        "Krzysztof R Apt and Elena Marchiori",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "6A",
        pages =         "743--765",
        year =          "1994"
}

@article{Eijck94,		
        title =         "Presupposition Failure--A Comedy of Errors",
        author =        "Jan van Eijck",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "6A",
        pages =         "766--787",
        year =          "1994"
}

@article{BosangueKok94,		
        title =         "The Weakest Precondition Calculus: Recursion
		  and Duality",
        author =        "Marcello M Bosangue and Joos N Kok",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "6A",
        pages =         "788--800",
        year =          "1994"
}

@article{Hooman94,		
        title =         "Extending Hoare Logic to Real-Time",
        author =        "Jozef Hooman",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "6A",
        pages =         "801--826",
        year =          "1994"
}

@article{Hansen94,		
        title =         "Model-Checking Discrete Duration Calculus",
        author =        "Michael R Hansen",
        journal =       "Formal Aspects of Computing",
        volume =        "6",
        number =        "6A",
        pages =         "826--845",
        year =          "1994"
}

@article{Snepscheut95,		
        title =         "The Sliding-Window Protocol Revisited",
        author =        "Jan L A van de Snepscheut",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "1",
        pages =         "3--17",
        year =          "1995"
}

@article{CostaSernadas95,		
        title =         "Progress Assumption in Concurrent Systems",
        author =        "J F Costa and A Sernadas",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "1",
        pages =         "18--36",
        year =          "1995"
}

@article{ButlerMorgan95,		
        title =         "Action Systmes, Unbounded Nondeterminism, and
		  Infinite Traces",
        author =        "Michael Butler and Carroll Morgan",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "1",
        pages =         "37--53",
        year =          "1995"
}

@article{KingMorgan95,		
        title =         "Exits in the Refinement Calculus",
        author =        "Steve King and Carroll Morgan",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "1",
        pages =         "54--76",
        year =          "1995"
}

@article{Lescanne95,		
        title =         "Termination of Rewrite Systems by Elementary
		  Interpretations",
        author =        "Pierre Lescanne",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "1",
        pages =         "77--90",
        year =          "1995"
}

@article{Coenen95,		
        title =         "Hoare's Logic and VDM",
        author =        "J Coenen",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "1",
        pages =         "91--105",
        year =          "1995"
}

@article{KobayashiYonezawa95,		
        title =         "Asynchronous Communication Model Based on
		  Linear Logic",
        author =        "Naoki Kobayashi and Akinori Yonezawa",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "2",
        pages =         "113--149",
        year =          "1995"
}

@article{Spivey95,		
        title =         "Unification: A Case-Study in Data Refinement",
        author =        "J M Spivey",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "2",
        pages =         "150--168",
        year =          "1995"
}

@article{RewitzkyBrink95,		
        title =         "Predicate Transformers as Power Operations",
        author =        "I Rewitzky and C Brink",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "2",
        pages =         "169--182",
        year =          "1995"
}

@article{Vadera95,		
        title =         "Proof by Analogy in Mural",
        author =        "Sunil Vadera",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "2",
        pages =         "183--206",
        year =          "1995"
}

@article{ToddStamper95,		
        title =         "A Formal Model of Explanation",
        author =        "Bryan S Todd and Richard Stamper",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "2",
        pages =         "207--225",
        year =          "1995"
}

@article{LynchSegala95,		
        title =         "A Comparison of Simulation Techniques and
		  Algebraic Tachniques for Verifying Concurrent Systems",
        author =        "Nancy Lynch and Roberto Segala",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "3",
        pages =         "231--265",
        year =          "1995"
}

@article{SinclairWoodcock95,		
        title =         "Event Refinement in State-Based Concurrent Systems",
        author =        "Jane Sinclair and Jim Woodcock",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "3",
        pages =         "266--288",
        year =          "1995"
}
@article{Smith95,		
        title =         "A Fully Abstract Semantics of Classes for Object-Z",
        author =        "Graeme Smith",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "3",
        pages =         "289--313",
        year =          "1995"
}


@article{LethThomsen95,		
        title =         "Some Facile Chemistry",
        author =        "Lone Leth and Bent Thomsen",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "3",
        pages =         "314--328",
        year =          "1995"
}

@article{HayesMahony95,		
        title =         "Using Units of Measurement in Formal Specifications",
        author =        "Ian J Hayes and Brendan P Mahony",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "3",
        pages =         "329--347",
        year =          "1995"
}

@article{Dijkstra95,		
        title =         "DUALITY: A Simple Formalism for the Analysis
		  of UNITY",
        author =        "Rutger M Dijkstra",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "4",
        pages =         "353--388",
        year =          "1995"
}

@article{Hesselink95,		
        title =         "Safety and Progress of Recursive Procedures",
        author =        "Wim H Hesselink",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "4",
        pages =         "389--411",
        year =          "1995"
}

@article{Thompson95,		
        title =         "A Logic for Miranda, Revisited",
        author =        "Simon Thompson",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "4",
        pages =         "412--429",
        year =          "1995"
}

@article{HayesSanders95,		
        title =         "Specification by Interface Separation",
        author =        "I J Hayes and J W Sanders",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "4",
        pages =         "430--439",
        year =          "1995"
}

@article{ValmariTiernari95,		
        title =         "Compositional Failure-based Semantics Models
		  for Basic LOTOS",
        author =        "Antti Valmari and Martii Tiernari",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "4",
        pages =         "440--468",
        year =          "1995"
}

@article{LadkinLeue95,		
        title =         "Interpreting Message Flow Graphs",
        author =        "Peter B Ladkin and Stefan Leue",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "5",
        pages =         "473--509",
        year =          "1995"
}

@article{LiuJosephJanowski95,		
        title =         "Verification of Schedulability for Real-Time Programs",
        author =        "Zhiming Liu and Mathai Joseph and Tomasz Janowski",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "5",
        pages =         "510--532",
        year =          "1995"
}

@article{BaFiGaGoOw95,		
        title =         "METATEM: An Introduction",
        author =        "H Barringer and M fisher and D Gabbay and G
		  Gough and R Owens",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "5",
        pages =         "533--549",
        year =          "1995"
}

@article{EnglehardtRoever95,		
        title =         "Towards a Practitioners' Approach to Abadi
		  and Lamport's Method",
        author =        "Kai Engelhardt and Willem-Paul de Roever",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "5",
        pages =         "550--566",
        year =          "1995"
}

@article{Leino95,		
        title =         "A Method for Showing Progress",
        author =        "K Rustan M Leino",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "5",
        pages =         "567--580",
        year =          "1995"
}

@article{Noel95,		
        title =         "A Transformation-Based Synthesis of Temporal
		  Specifications", 
        author =        "Philippe No{\"{e}}l",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "6",
        pages =         "587--619",
        year =          "1995"
}

@article{Maung95,		
        title =         "On Simulation, Subtyping and Substitutability
		  in Sequential Object Systems",
        author =        "Ian Maung",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "6",
        pages =         "620--651",
        year =          "1995"
}

@article{Naumann95,		
        title =         "Data Refinement, Call by Value and Higher
		  Order Programs",
        author =        "David A Naumann",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "6",
        pages =         "651--662",
        year =          "1995"
}

@article{GorlatchLengauer95,		
        title =         "Parallelisation of Divide-and-Conquer in the
		  Bird-Meertens Formalism",
        author =        "Sergei Gorlatch and Christian Lenguaer",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "6",
        pages =         "663--682",
        year =          "1995"
}

@article{ManoharLeino95,		
        title =         "Conditional Composition",
        author =        "Rajit Manohar and K Rustan M Leino",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "6",
        pages =         "683--703",
        year =          "1995"
}

@article{MukherjeeStavridou95,		
        title =         "A Theory of Orwellian Specifications with NewThink",
        author =        "Paul Mukherjee and Victoria Stavridou",
        journal =       "Formal Aspects of Computing",
        volume =        "7",
        number =        "6",
        pages =         "704--727",
        year =          "1995"
}

@article{AlencarLucena96,		
        title =         "A Logical Framework for Evolving Software Systems",
        author =        "Paulo S C Alencar and J P de Lucena",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "1",
        pages =         "3--46",
        year =          "1996"
}

@article{LarsenHansen96,		
        title =         "Semantics of Under-determined Expressions",
        author =        "Peter Gorm Larsen and Bo Stig Hansen",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "1",
        pages =         "47--66",
        year =          "1996"
}

@article{SeidelGardiner96,		
        title =         "Structure Development of a Virtual Shared
		  Memory System",
        author =        "Karen Seidel and Paul Gardiner",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "1",
        pages =         "67--85",
        year =          "1996"
}

@article{SimonsWeber96,		
        title =         "An Approach to Literate and Structured Formal Developments",
        author =        "Martin Simons and Matthias Weber",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "1",
        pages =         "86--107",
        year =          "1996"
}

@article{BillingtonDromey96,		
        title =         "The Co-invariant Generator: An Aid in
		  Deriving Loop Bodies",
        author =        "David Billington and R Geoff Dromey",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "1",
        pages =         "108--126",
        year =          "1996"
}

@article{StolenDederichsWeber96,		
        title =         "Specification and REfinement of Networks of
		  Asynchronously Communicating Agents Using the
		  Assumption/Commitment Paradigm",
        author =        "Ketil St{\o}len and Frank Dederichs and
		  Rainer Weber",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "2",
        pages =         "127--161",
        year =          "1996"
}

@article{Krishnan96,		
        title =         "Architectural CCS",
        author =        "Padmanabhan Krishnan",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "2",
        pages =         "162--187",
        year =          "1996"
}

@article{BaetenBergstra96,		
        title =         "Discrete Time Process Algebra",
        author =        "J C M Baeten and J A Bergstra",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "2",
        pages =         "188--208",
        year =          "1996"
}

@article{BrownLukOLeary96,		
        title =         "Retargeting a Hardware Compiler Using
		  Protocol Convertors",
        author =        "Geoffrey Brown and Wayne Luk and John O'Leary",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "2",
        pages =         "209--237",
        year =          "1996"
}


@article{Hussak96,		
        title =         "On CCS with Paramatric Relabelling
			(Short Communication)",
        author =        "Walter Hussak",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "2",
        pages =         "238--244",
        year =          "1996"
}

@article{Castagna96,		
        title =         "Integration of Parametric and {"ad hoc"} Second
                  Order Polymorphism in a Calculus with Subtyping",
        author =        "Giuseppe Castagna",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "3",
        pages =         "247--293",
        year =          "1996"
}

@article{ZhouHooKui96,		
        title =         "Compositional Verification of Real-Time
                  Systems with Explicit Clock Temporal Logic",
        author =        "Ping Zhou and Jozef Hooman and Ruurd Kuiper",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "3",
        pages =         "294--323",
        year =          "1996"
}

@article{BackSere96,		
        title =         "Superposition Refinement of Reactive Systems",
        author =        "R J R Back and K Sere",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "3",
        pages =         "324--346",
        year =          "1996"
}

@article{DukeBailesSmith96,		
        title =         "A Blocking Model for Reactive Objects",
        author =        "Roger Duke and Cecily Bailes and Graeme Smith",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "3",
        pages =         "347--368",
        year =          "1996"
}

@article{Spivey96,		
        title =         "The Consistency Theorem for Free Type
                  Definitions in Z (Short Communication)",
        author =        "Michael Spivey",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "3",
        pages =         "369--376",
        year =          "1996"
}

@article{HennessyLin96,		
        title =         "Proof Systems for Message-Passing Process Algebras",
        author =        "M Hennessy and H Lin",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "4",
        pages =         "379--407",
        year =          "1996"
}

@article{Scholefield96,		
        title =         "Real-Time Refinement in Manna and Pnueli's Temporal Logic",
        author =        "David Scholefield",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "4",
        pages =         "408--427",
        year =          "1996"
}

@article{BeierleBorger96,		
        title =         "Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints",
        author =        "Christoph Beierle and Egon B{\"o}rger",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "4",
        pages =         "428--462",
        year =          "1996"
}
@article{Ronn96,		
        title =         "Invariants and Closures in the Theory of Rewrite Systems",
        author =        "Stefan R{\"o}nn",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "4",
        pages =         "479--489",
        year =          "1996"
}

@article{MartinGardinerWoodcock96,		
        title =         "A Tactic Calculus -- Abridged Version",
        author =        "A P Martin and P H B Gardiner and J C P Woodcock",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "4",
        pages =         "490--497",
        year =          "1996"
}

@article{HarmanSimpsonDanicic96,		
        title =         "Slicing Programs in the Presence of Errors ",
        author =        "Mark Harman and Dan Simpson and Sebastian Danicic",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "4",
        pages =         "",
        year =          "1996"
}

@article{LynchVaandrager96,		
        title =         "Action Transducers and Timed Automata",
        author =        "Nancy Lynch and Frits Vaandrager",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "5",
        pages =         "499--538",
        year =          "1996"
}

@article{BeierleBorger96b,		
        title =         "Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types",
        author =        "Christoph Beierle and Egon B{\"o}rger",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "5",
        pages =         "539--564",
        year =          "1996"
}

@article{Spivey96b,		
        title =         "Richer Types for Z",
        author =        "Michael Spivey",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "5",
        pages =         "565--584",
        year =          "1996"
}

@article{SmolkaSteffen96,		
        title =         "Priority as Extremal Probability",
        author =        "Scott A Smolka and Bernhard Steffen",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "5",
        pages =         "585--606",
        year =          "1996"
}

@article{GrafSteffenLuttgen96,		
        title =         "Compositional Minimisation of Finite State Systems Using Interface Specifications",
        author =        "Susanne Graf and Bernhard Steffen and Gerlad L{\"u}ttgen",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "5",
        pages =         "607--616",
        year =          "1996"
}

@article{MorganMcIverSeidelSanders96,		
        title =         "Refinement-Oriented Probability for CSP",
        author =        "Carroll Morgan and Annabelle McIver and Karen Seidel and J W Sanders",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "6",
        pages =         "617--647",
        year =          "1996"
}

@article{Ponse96,		
        title =         "Computable Processes and Bisimulation Equivalence",
        author =        "Alban Ponse",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "6",
        pages =         "648--678",
        year =          "1996"
}

@article{Zucker96,		
        title =         "Transformations of Normal and Inverted Function Tables",
        author =        "J I Zucker",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "6",
        pages =         "679--705",
        year =          "1996"
}

@article{BreuZucca96,		
        title =         "An Algebraic Semantic Framework for Object Oriented Languages with
Concurrency (Extended Abstract)",
        author =        "Ruth Breu and Elena Zucca",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "6",
        pages =         "706--715",
        year =          "1996"
}

@article{Sitaraman96,		
        title =         "Impact of Performance Considerations on Formal Specification Design",
        author =        "Murali Sitaraman",
        journal =       "Formal Aspects of Computing",
        volume =        "8",
        number =        "6",
        pages =         "716--737",
        year =          "1996"
}