[minopret]

There's a very clear exposition and implementation in the book and code library _The Stanford Graphbase_. It's reasonably simple for the computer. It's not so simple for the algorithm designer.