An environment for formal systems (1987)

by T GRIFFIN