Board game "Scrabble" developed in VDM++.