Research ArticleOpen accessAll words, across the recordCSCW for Preparing Formal Software Specifications: Issues and ImplementationMohamed A. Sullabi, Zarina ShukurJournal of Computer Science, Vol. 4, Issue 4 · 30 Apr 2008 · 6,581 accessesView PDFCite