Title: Theory and formal methods 1993