Reasoning About Program Transformations: Imperative Programming and Flow of Data
Publisher: Springer
Published: Jun 14, 2007
Number of pages: 238
ISBN-13: 9780387224619