Is there a software engineering methodology for functional programming?

researchgate.net