A formal definition of the manuel for programmers