Title: A tool for a formal refinement method
First published: 2000