Specification Slicing for VDM-SL - Oda, Tomohiro (arXiv.org)