Getting water to flow.
If you need a or the full German original text of the VDMT checklist, let me know. vdmt liste
Below is a simple VDM-SL specification using a list to model a playlist. This illustrates the "liste" in action: Getting water to flow