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

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

@Article{FMSD3:Melh,
   author = "Thomas F. Melham",
   title = "The {HOL} Logic Extended with Quantification over Type Variables",
   journal = "Formal Methods in System Design",
   year = "1993",
   volume = "3",
   number = "1/2",
   pages = "7--24",
   month = "August"}

@Article{FMSD3:Boul,
   author = "Richard J. Boulton",
   title = "Lazy Techniques for Fully Expansive Theorem Proving",
   journal = "Formal Methods in System Design",
   year = "1993",
   volume = "3",
   number = "1/2",
   pages = "25--47",
   month = "August"}

@Article{FMSD3:WHLL,
   author = "J. von Wright and J. Hekanaho and P. Luostarinen and
             T. L{\aa}ngbacka",
   title = "Mechanizing Some Advanced Refinement Concepts",
   journal = "Formal Methods in System Design",
   year = "1993",
   volume = "3",
   number = "1/2",
   pages = "49--81",
   month = "August"}

@Article{FMSD3:Curz,
   author = "Paul Curzon",
   title = "Deriving Correctness Properties of Compiled Code",
   journal = "Formal Methods in System Design",
   year = "1993",
   volume = "3",
   number = "1/2",
   pages = "83--115",
   month = "August"}

@Article{FMSD3:Loew,
   author = "Paul Loewenstein",
   title = "A Formal Theory of Simulations Between Infinite Automata",
   journal = "Formal Methods in System Design",
   year = "1993",
   volume = "3",
   number = "1/2",
   pages = "117--149",
   month = "August"}

@Article{FMSD3:HCOH,
   author = "Roger Hale and Rachel Cardell-Oliver and John Herbert",
   title = "An Embedding of Timed Transition Systems in {HOL}",
   journal = "Formal Methods in System Design",
   year = "1993",
   volume = "3",
   number = "1/2",
   pages = "151--174",
   month = "August"}