SORENSEN-FORMAL SPECIFICATION AND DESIGN OF A SIMPLE ASSEMBLER.
Language: eng
Notes: HAYES-SPECIFICATION CASE STUDIES CH.8.