{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio 7.x}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Lawford, Mark, Jeff McDougall, Peter Froebel, and Greg Moum. \i Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software\i0  In \i  Algebraic Methodology and Software Technology\i0 ., 2000.\par \par }