Leeuwen, J. van Handbook of theoretical computer science : volume B : formal models and semantics / edited by Jan Van Leeuwen. - Amsterdam ; Cambridge, MA. : Elsevier ; MIT Press, 1990. - xiv, 1273 p. ; 25 cm. + hbk. Includes index. ISBN: 0444880747 Subjects--Topical Terms: Computer science Dewey Class. No.: 004