Title: Dofsem '96: Theory and Practice of Informatics