Describir: An Empirical Study of Formal Procedure Specification.