Eiffel-like Assertions and Private Methods in Smalltalk
Assertions are considered one of the more useful and advanced aspects of Eiffel, and they are simple to implement.

No queries for www.lcc.uma.es/~ernesto/pubs/ps/tools94.ps.gz