TY - CONF TI - A language of transformation AU - Soufi, Loutfi PY - 1997 SP - 97-102 PB - Πανεπιστήμιο Κύπρου T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά ER -