Title: Developing a generic container class to prototype VDM specifications
First published: 2000