Formal Specification Research