Oz tiene una semántica formal simple y una implementación eficiente, el Sistema de Programación Mozart.