Title: FINSTER, a FORMAC interactive system for terminals