RECENT TRENDS IN DATA TYPE SPECIFICATION - Wagner, Eric G. (Springer, 1985)