Specification and Transformation of Programs: A Formal Approach to Software Development (1990)

by H A Partsch
Venue:Issue 4, No 2, July 2011 ISSN (Online): 1694-0814 www.IJCSI.org 633