A Study of Abramsky's Linear Chemical Abstract Machine. - Seikoh Mikami; Yohji Akama (TLCA, 1999)