Reference ref = DocumentationUtil.getReference(pcls);
if(ref != null) {
if(ref.prefix().length() > 0) {
println(buf, width, ref.prefix(), "");
}
println(buf, width, ref.authors() + ":", "");
println(buf, width, ref.title(), " ");
println(buf, width, "in: " + ref.booktitle(), "");
if(ref.url().length() > 0) {
println(buf, width, "see also: " + ref.url(), "");
}