Principles of Model Checking (Mit Press)
| Country | USA |
| Brand | Littlearth |
| Manufacturer | Little Earth Productions, Inc. |
| Binding | Apparel |
| ItemPartNumber | 520134-KNGT-XS-WHTE |
| Model | 520134 |
| Warranty | No Warranty |
| Color | White |
| Size | XS (Neck: 9", Girth: 10"-13", Back: 8") |
| UnitCount | 1 |
| UPCs | 686699496432 |
| EANs | 0686699496432 |
| ReleaseDate | 0000-00-00 |