For those of you who aren't familiar with ABC notation, here's a short tutorial on ABC, and here's a list of useful ABC-related software.