[1] Exklusiver Verzeichnis-Eintrag.

[2] Engineering Verification Engine. System zur Verifizierung von Entwicklungsarbeiten.

[3] Extensible Vax Editor.