A Status Monitoring System Design/Implementation for Home Appliances Controlled by Home Server. - Boyoung Lee; Sojung Yang; Deokjai Choi (NetCoM, 2009)

Teaching Some Informatics Concepts Using Formal System. - Sojung Yang; Seongbin Park (Informatics Educ., 2014)