J. SINCLAIR

• SORENSEN-FORMAL SPECIFICATION AND DESIGN OF A SIMPLE ASSEMBLER