% The Computer Journal, Volume 38, Number 2. 
% The British Computer Society/Oxford University Press, 1995.
% Special Issue on Higher Order Logic Theorem Proving and its Applications.
% Guest Editor: T. F. Melham.

@Article{ComputerJ38:Melh,
   author = "T. F. Melham",
   title = "Special Issue Editorial:
            Higher Order Logic Theorem Proving and its Applications",
   journal = "The Computer Journal",
   year = "1995",
   volume = "38",
   number = "2",
   pages = "89--90"}

@Article{ComputerJ38:Curz,
   author = "Paul Curzon",
   title = "Tracking Design Changes with Formal Machine-Checked Proof",
   journal = "The Computer Journal",
   year = "1995",
   volume = "38",
   number = "2",
   pages = "91--100"}

@Article{ComputerJ38:Lars,
   author = "Mats Larsson",
   title = "An Engineering Approach to Formal Digital System Design",
   journal = "The Computer Journal",
   year = "1995",
   volume = "38",
   number = "2",
   pages = "101--110"}

@Article{ComputerJ38:TaKu,
   author = "Sofi\`ene Tahar and Ramayya Kumar",
   title = "Formal Specification and Verification Techniques for {RISC}
            Pipeline Conflicts",
   journal = "The Computer Journal",
   year = "1995",
   volume = "38",
   number = "2",
   pages = "111--120"}

@Article{ComputerJ38:Ager,
   author = "Sten Agerholm",
   title = "{LCF} Examples in {HOL}",
   journal = "The Computer Journal",
   year = "1995",
   volume = "38",
   number = "2",
   pages = "121--130"}

@Article{ComputerJ38:HoMa,
   author = "Peter V. Homeier and David F. Martin",
   title = "A Mechanically Verified Verification Condition Generator",
   journal = "The Computer Journal",
   year = "1995",
   volume = "38",
   number = "2",
   pages = "131--141"}

@Article{ComputerJ38:GuMa,
   author = "Elsa Gunter and Savi Maharaj",
   title = "Studying the {ML} Module System in {HOL}",
   journal = "The Computer Journal",
   year = "1995",
   volume = "38",
   number = "2",
   pages = "142--151"}

@Article{ComputerJ38:Chou,
   author = "Ching-Tsun Chou",
   title = "Mechanical Verification of Distributed Algorithms in Higher-Order
            Logic",
   journal = "The Computer Journal",
   year = "1995",
   volume = "38",
   number = "2",
   pages = "152--161"}

@Article{ComputerJ38:Harr,
   author = "John Harrison",
   title = "Binary Decision Diagrams as a {HOL} Derived Rule",
   journal = "The Computer Journal",
   year = "1995",
   volume = "38",
   number = "2",
   pages = "162--170"}

@Article{ComputerJ38:vonW,
   author = "J. von Wright",
   title = "Representing Higher-Order Logic Proofs in {HOL}",
   journal = "The Computer Journal",
   year = "1995",
   volume = "38",
   number = "2",
   pages = "171--179"}