Le chêne

Specification and Transformation of Programs

Helmut A. Partsch

Waka o utau

Nihon Bunka Zaidan.; Hikōkai.

Solid freeform and additive fabrication, 2000

Stephen C. Danforth, Duane Dimos

Mathematical logic and programming languages

C. A. R. Hoare

Dogs (Amazing Animals)

Christina Wilsdon

The selfish giant