Э. Дейкстры "Как мы говорим правду, которая может повредить?" в ACM SIGPLAN Notices, Vol. 19., No. 5, 1982.
