BOWEN-MACHINE WORDS.
Language: eng
Notes: BOWEN-FORMAL SPECIFICATION AND DOCUMENTATION USING Z.