@phdthesis{oai:nagoya.repo.nii.ac.jp:02002480,
 author = {仙田, 涼摩 and Senda, Ryoma},
 month = {Mar},
 school = {名古屋大学, Nagoya University},
 title = {A Study on Computational Models with Registers and their Application to Software Construction},
 year = {2022}
}