Title: Developing re-usable formal specifications
First published: 1999