Inwieweit sind Spezifikationssprachen Programmiersprachen? Versuch eines systematischen Ansatzes.