1
Development of incremental integration tools using formal specifications.
Book