Schema di assiomi di specificazione - Altre lingue