This position arose for consideration on pushing battles in joseki 8. Here may well have been an overplay; but how does White show that, from this position? White at a is naturally an important resource.
Those with the Korean version of the Igo Daijiten handy will be able to turn quickly to variations 6770 and 6771 of volume 2.