The major topic of this book is the integration of data and programming languages and the associa...

The major goal of this book is to present the techniques of top-down program design and verificat...

This book presents a unified collection of concepts, tools, and techniques that constitute the mo...