Информатика, Компютри, Комуникации, Интернет

Математически език, използван за разработването на функционалната спецификация на софтуерна програма. Създаден в края на 70-те в Оксфордския университет.