From abstraction and indiscernibility to classification and types:
J-STAGE
www.jstage.jst.go.jp