This directory contains the PostScript for John Van Tassel's PhD dissertation entitled "Femto-VHDL: The Semantics of a Subset of VHDL and its Embedding in the HOL Theorem-Prover". The document runs to 122 pages, and is formatted for A4-sized (British) paper. It should, however, print on US 8.5x11 paper. The files should be uncompressed and printed in the following order: Bibliography.ps AppendixB.ps AppendixA.ps Ch7.ps Ch6.ps Ch5.ps Ch4.ps Ch3.ps Ch2.ps Ch1.ps TableofContents.ps Acknowledgements.ps Abstract.ps Copyright.ps Dedication.ps Title.ps This dissertation is also available as University of Cambridge Computer Laboratory Technical Report 317. Copies may be obtained by writing to: University of Cambridge Computer Laboratory Bookshop New Museums Site Pembroke Street Cambridge CB2 3QG ENGLAND John Van Tassel 12 November 1993 <div align="center"><br /><script type="text/javascript"><!-- google_ad_client = "pub-7293844627074885"; //468x60, Created at 07. 11. 25 google_ad_slot = "8619794253"; google_ad_width = 468; google_ad_height = 60; //--></script> <script type="text/javascript" src="http://pagead2.googlesyndication.com/pagead/show_ads.js"> </script><br /> </div>