Pico Scheme is an unofficial purely functional subset of the Scheme programming language. This book provides a defining description of the Pico Scheme programming language and includes the syntax and semantics both informally and in formal extended BNF and denotational semantics.