Title: A library of formal specification
First published: 1997