Behavioural Verification and Implementation of an Optimizing Compiler for OBJ3 (1996)

by Lutz Hamel