Y. Yamato, “Server Structure Proposal and Automatic Verification Technology on IAAS Cloud of Plural Type Servers”, IJIIS Int. J. Informatics Inf. Syst., vol. 1, no. 2, pp. 97–106, May 2021.