Donald I. Good, William D. Young
Mathematical Methods for Digital Systems Development
FM, 1991.
@inproceedings{VDME-1991-GoodY, author = "Donald I. Good and William D. Young", booktitle = "{Proceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 2: Tutorials}", doi = "10.1007/BFb0020002", isbn = "3-540-54868-8", pages = "406--430", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Mathematical Methods for Digital Systems Development}", volume = 552, year = 1991, }