Foundations of Regular Coinduction