Zave, Pamela Jackson, Michael <br/><br/>
Where Do Operations Come from a Multiparadigm Specification Technique 

 - 508-528 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Formal Methods<br/>Telecommunications<br/>Consistency