Language specification and discussion