Handbook of theoritical computer science/ edited by Jan van Leeuwen - Massachusetts : The MIT Press, c1990. - Vol. B: xiv, 1273 p. : ill. ; 24 cm. - formal models and semantics . Includes bibliographical references and indexes. ISBN: 0444880747 Subjects--Topical Terms: Computer science LC Class. No.: QA76 / .L44 1990