The Design Procedure Language (DPL) was the main component of LISPIC the precursor to NS, the knowledge of which Chris Terman, Neil Mayle and Howie Strobe brought to Symbolics.
DPL was also known as the “Daedalus Project”.
Gerald J. Sussman includes the implementation of a superficial version in his book Structure and Interpretation of Computer Programs.