Jaco van de Pol, Jozef Hooman, Edwin D. de Jong
Modular Formal Specification of Data and Behaviour
IFM, 1999.
@inproceedings{IFM-1999-PolHJ, author = "Jaco van de Pol and Jozef Hooman and Edwin D. de Jong", booktitle = "{Proceedings of the First International Conference on Integrated Formal Methods}", isbn = "1-85233-107-0", pages = "109--128", publisher = "{Springer-Verlag}", title = "{Modular Formal Specification of Data and Behaviour}", year = 1999, }