I agree, kill is the way to go. And here's a link to Debian's current man 7 signal.