Jim Woodcock, Carroll Morgan
Refinement of State-Based Concurrent Systems
FM, 1990.
@inproceedings{VDME-1990-WoodcockM, author = "Jim Woodcock and Carroll Morgan", booktitle = "{Proceedings of the Third International Symposium on Vienna Development Method and Z: Formal Methods in Software Development}", doi = "10.1007/3-540-52513-0_18", isbn = "3-540-52513-0", pages = "340--351", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Refinement of State-Based Concurrent Systems}", volume = 428, year = 1990, }