Едсхер Дейкстра — Други езици