Masami Noro, Tsuneo Ajisaka. Manipulating Software Semantics with Unified Computational Model and Software Quark Model. In 6th Asia-Pacific Software Engineering Conference (APSEC 99), 7-10 December 1999, Takamatsu, Japan. pages 476, IEEE Computer Society, 1999. [doi]
Abstract is missing.