@ARTICLE{BrinkRewitzkySchmidt91,
AUTHOR = {Brink, C. and Rewitzky, I. M. and Schmidt, R. A.},
YEAR = {1991},
TITLE = {Autodescriptivity: Beware!},
JOURNAL = {The Computer Journal} ,
VOLUME = {34},
NUMBER = {4},
PAGES = {380--381},
ABSTRACT = {Non-classical logics, and  in particular many-valued logics,
are increasingly used in the study of formal aspects of computing.  or
example, a recent paper by P.F. Gibbins in this {\em Journal} presents a
3-valued propositional logic for VDM.  In the use of such logics one
naturally relies on earlier work done by logicians, a case in point
being Gibbin's use of the concept of autodescriptivity, introduced by N.
Rescher.  The purpose of this Note is to sound a warning that Rescher's
exposition of autodescriptivity is seriously flawed, and to clarify the
autodescriptivity of the logic of VDM.  }
}