The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation f...

This monograph introduces ANNA, a language for specifying programs written in Ada.

The book is devoted to a simplified set-theoretic version of denotational semantics where sets ar...

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a languag...

Explores the political dynamics of the recent wave of democratization in developing societies. Wi...

Constitution-making for democracy has always been a highly political and contested process. It ha...

The authors of this volume explore the challenges of establishing democratic accountability and c...

Includes the plays Trafford Tanzi, The Dramatic Attitudes of Miss Fanny Kemble and The Seduction ...

An account of the Nigerian military coups of 1966 in which the author discusses both the events t...

First published in 1975. Legatee of a vast empire, the Commonwealth still carries the imprint of ...

First published in 1975. Legatee of a vast empire, the Commonwealth still carries the imprint of ...

Chapter 1: Introduction.- Chapter 2: Where’s the Justice in War? Double Standards and Contending ...