Fangjun Wu, Tong Yi. Slicing Z specifications. SIGPLAN Notices, 39(8):39-48, 2004. [doi]
@article{WuY04:1, title = {Slicing Z specifications}, author = {Fangjun Wu and Tong Yi}, year = {2004}, doi = {10.1145/1026474.1026481}, url = {http://doi.acm.org/10.1145/1026474.1026481}, tags = {slicing}, researchr = {https://researchr.org/publication/WuY04%3A1}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {39}, number = {8}, pages = {39-48}, }