From Specification to Building a GUI using Functional Programming