Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) Nurul Azma Zakaria and Ryosuke Yamasaki and Norihiko Yoshida and Kazutaka Kobayashi and Shuji Narazaki,Refactoring-Based Stepwise Refinement in Abstract System-Level Design,,,Springer Berlin Heidelberg,2006-01-01,,,,https://cir.nii.ac.jp/crid/1874242817928350080,https://doi.org/10.1007/11802167_72