Logical Implementation (1983)

by P A S VELOSO