AndroidBooks is an Android application developed with dsl-platform.