% Formal Methods in System Design, Volume 5, Numbers 1/2. 
% Kluwer Academic Publishers, July 1994.
% Special Issue on Higher Order Logic Theorem Proving and its Applications, II.
% Guest Editors: Luc Claesen and Michael Gordon.

@Article{FMSD5:ClGo,
   author = "Luc Claesen and Michael Gordon",
   title = "Editorial",
   journal = "Formal Methods in System Design",
   year = "1994",
   volume = "5",
   number = "1/2",
   pages = "5",
   month = "July"}

@Article{FMSD5:Busc,
   author = "Holger Busch",
   title = "Rule-Based Induction",
   journal = "Formal Methods in System Design",
   year = "1994",
   volume = "5",
   number = "1/2",
   pages = "7--33",
   month = "July"}

@Article{FMSD5:Harr,
   author = "John Harrison",
   title = "Constructing the Real Numbers in {HOL}",
   journal = "Formal Methods in System Design",
   year = "1994",
   volume = "5",
   number = "1/2",
   pages = "35--59",
   month = "July"}

@Article{FMSD5:ACDM,
   author = "Catia M. Angelo and Luc Claesen and De Man, Hugo",
   title = "Modeling Multi-rate {DSP} Specification Semantics for Formal
            Transformational Design in {HOL}",
   journal = "Formal Methods in System Design",
   year = "1994",
   volume = "5",
   number = "1/2",
   pages = "61--94",
   month = "July"}

@Article{FMSD5:AaLe,
   author = "Mark Aagaard and Miriam Leeser",
   title = "A Methodology for Efficient Hardware Verification",
   journal = "Formal Methods in System Design",
   year = "1994",
   volume = "5",
   number = "1/2",
   pages = "95--117",
   month = "July"}

@Article{FMSD5:Kalv,
   author = "Saraswati Kalvala",
   title = "Annotations in Formal Specifications and Proofs",
   journal = "Formal Methods in System Design",
   year = "1994",
   volume = "5",
   number = "1/2",
   pages = "119--144",
   month = "July"}

@Article{FMSD5:ScKK,
   author = "Klaus Schneider and Ramayya Kumar and Thomas Kropf",
   title = "Accelerating Tableaux Proofs using Compact Representations",
   journal = "Formal Methods in System Design",
   year = "1994",
   volume = "5",
   number = "1/2",
   pages = "145--176",
   month = "July"}