This is an introduction to the techniques of functional programming, the associated computational models and the implementation of functional programming languages on both sequential and parallel machines. The book presents the features of functional programming languages, using Miranda as an example language. It focuses on an alternative computational model - Graph Rewriting Systems. The book demonstrates and discusses the potential power of concurrent functional programming and the implementation on loosely coupled parallel architectures. All the chapters include a summary and exercises.