abstract analysis work