Formal Specification II 
Open University 
 - Milton Keynes  The Open University  1990 
 - 67p. 
 - Mathematics : A Third level course Topics in Software Engine .
<br/><br/><label>ISBN: </label>749220058