TY - CONF TI - A design language and tool for x-machines specification AU - Kapeti, Paraskevi AU - Κεφαλάς, Πέτρος PY - 2000 SP - 134-145 PB - World Scientific T2 - Advances in informatics. 7th Hellenic Conference on Informatics (HCI '99) ER -