In this thesis, we present two formal specification methods: the
W-grammars and the Carabiner (CPS) systems, and use both systems to
formally define the full specification of a fairly large subset of PASCAL.
A Doctoral Thesis. Submitted in partial fulfilment of the requirements for the award of Doctor of Philosophy at Loughborough University.