Graham, Brian2008-05-232008-05-231989-09-01http://hdl.handle.net/1880/46590This paper describes the levels at which the designers found it useful to view the SECD design, and the design issues at each level. The interplay between formal specification and abstraction mechanisms used between views at different levels is described.EngComputer Scienceunknown1989-369-3110.11575/PRISM/31357