#programming-languages

Constructive Specifications: A Short Story

Or why prosa language specifications are mostly useless