What does DISMAN stand for?

Here's a list of possible definitions for the shorthand DISMAN: