A toy programming language using Ruby as specification language