Book

Formal specification of complex reasoning systems

by Jan Treur, Thomas Wetter