Predicting the cost of software development based on a formal specification. - Sherif Mohamed Abd-Alla Tawfik (2004)