The Vanek Plays (Havel Collection), Paperback/Vaclav Havel