related documents Towards Dynamic Population Management of Abstract Machines in the B Method Conferences