Applying SOFL to Develop a University Information System. - Shaoying Liu; Masaomi Shibata; Ryuichi Sato (APSEC, 1999)