Hideaki Okamura Yutaka Ishikawa Mario Tokoro Metalevel Decomposition in AL-1/D. 110-127 1993 conf/isotas/1993 ISOTAS db/conf/isotas/isotas1993.html#OkamuraIT93