Secondary literature sources for DSL

The following references were automatically generated.